when the protocol cannot be followed (eq. in advance assume or delegation), the controller should use the forceAssume input.