bugfix: Prompt state couldn't be ended if formula evaluate was tested