Interrupt the execution on user input to inspect the state space