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.