[#2344] Add a new ControlFlowException that is used to explicitly jump
out of a control flow