Draft: Modelchecking in COOL

Merlinrequested to merge
modcheck into master

Attempt to get the long-standing modelchecking branch ready for merging.

Merge request reports