Move simplifyInvariant from BooleanFormula to ModuleDepInfo