ToySolver.Data.LA.FOL
fromFOLAtom
toFOLFormula
fromFOLExpr
toFOLExpr