Document guidelines for when controller checker indicates properties don't hold
The controller checker currently checks for finite response. Confluence is being added (#145 (closed) / !351 (merged)). The checker can check these properties, and indicate whether they hold, or may not hold.
For end users, it would be of great value to know what to do when they do not hold, or may not hold. While this is not described in the PhD thesis that defines these checks (see Chapter 4 of the thesis), the thesis does refer, in Section 7.4, to another publication, where some hints are given on how to resolve such issues. Section IV.D gives some modeling guidelines for finite response. Similarly, Section V.D gives some modeling guidelines for confluence.
I think it would be useful to include something like that in the documentation of the CIF controller checker tool.