Test that: - Effect formulas are translated correctly. - For any problem, after parsing it and pretty printing it would result in the same problem if reparsed. - Precondition formulas are translated correctly. - Plans work as intended for model problems.