+MC:
+ - Rework the internals, for simpler and modern code. This shall unlock many future improvements.
+ - You can now define plugins onto SafetyChecker (a simple DFS explorer), using the declared signals.
+ See CommunicationDeterminism for an example.
+ - Support mutex in DPOR reduction
+ - Seems to work on Arm64 architectures too.
+