check
Whether the space-exclusivity invariants are checked whenever the simulation clock advances.
The same control the passive subsystem carries, and it has to be here as well as there: the guide path this system runs on is one it builds and owns, so without this a modeller has no way to reach it and an active model could not be checked at all. Off by default, and the initial value comes from the same system property, so switching checking on for a run switches it on for both paradigms rather than only for one of them.