Moved formula parser from MLSolver here; added LTL parser