#457 Revert changes in the LocOnlySpecificInvariantsCheck class.

3 jobs for 457-update-cif2plc-prechecker in 0 seconds (queued for 28 seconds)