Fact formulas in ObjectLogic always include a module information which was provided by FAtom and Literal and has now been moved up to the common super interface FactFormula.