Invariants are added in the same order as members declared: fields, then properties.
Minor cleanup for InvariantActionExecutor.
Added missed files
Minor fix for computing previous requires statement.