Add uncontrollables-preserving property check to CIF controller properties checker

From #628 (comment 2535199):

Not sure it fits here but the topic seems wide enough to cover it. FYI:

Since 2 days https://research.tue.nl/en/publications/leading-in-the-right-direction-control-of-dynamic-traffic-managem exists. Chapter 5 is about implementation, with Section 5.3 about "Inexact synchronization". At the bottom of page 41 they introduce a new $\sigma_u$-preserving property that holds when for all cases where a controllable event c and an uncontrollable event u are both enabled, they can be processed in either order.

As always with these topics, I have a hard time understanding how relevant the idea is. Others may have a better idea about that.

We could consider adding a check for this uncontrollables-preserving property to the CIF controller properties checker.

Addresses #892