Add nonblocking under control check to CIF controller checker
This issue
The controller checker implements various checks. These come from a PhD thesis (Chapter 4). Currently, we have implemented the 'finite response' and 'confluence' checks, but not yet the 'nonblocking under control' check. We should add that as well.
Related issues
- Issue #695 discusses the performance of the confluence check, which relates closely to this issue.
Things to not forget:
- The CIF PLC code generator (new version, PLCgen) refers to the CIF controller checker as implementing two checks. This needs to be updated.