Modeling the checkUserInput BRMS task