#907 Controller checker: assert consistency of finite response and bounded response.
requested to merge 907-cif-controller-properties-checker-check-consistency-of-bounded-response-and-finite-response into develop
- Finite response implies bounded response for controllable events.
- Assert it for extra confidence.
Closes #907 (closed)