Fixes ASTInterpreter >> proceed. Context switching will be done in
ASTDebugger later on.