Bounded response check: improve efficiency of the input variable events event loop

We currently do an event loop for input variable events, like for uncontrollable and controllable events. I think we could also use the 'exists' BDD operator to ensure that all values are allowed for input variables, and this could be more efficient to calculate.

Addresses #892