Correction for type invariant pattern mismatches
Type constraint fix for variable assignments
Merge remote-tracking branch 'origin/development' into ncb/development
Cannot null location in OpDef Ctxt. It destroys the location in original ast.
Add invariant name to StateInvariantObligation.
Flag must of course start true (always false otherwise).
Merge branch 'origin/pvj/codegen'
Merge remote-tracking branch 'origin/development' into ncb/development
Made sure the parent of a class/module is null after creation
Merge branch 'origin/pvj/main'