PLCgen: use 'while' loop bounds calculated by controller checker in generated PLC code
In the controller checker, we will compute 'while' loop bounds, separately for uncontrollable events and controllable events. Add we will have the controller checker add them to the model as an annotation. See #621.
Once that is done, PLCgen should read the annotation and use them to determine the 'while' loop bounds.
Consider what to do with the existing option for users to specify it. Maybe by default, the annotation is used. And if not present, inf,inf
. But, a user can override it.
Addresses #679.
Edited by Dennis Hendriks