Return the conjunction of all facts in this module and all reachable submodules (not including field constraints, nor including sig appended constraints)
Return the conjunction of all facts in this module and all reachable submodules (not including field constraints, nor including sig appended constraints)