NodeType:
| "YIELD"
| "THROW"
| "MARKER_COMMENT"
| "LOOP_HEAD"
| "LOOP_EXIT"
| "SELECT"
| "SELECT_MERGE"
| "COMMUNICATION_CASE"
| "TYPE_CASE"
| "TYPE_SWITCH_MERGE"
| "TYPE_SWITCH_VALUE"
| "GOTO"
| "LABEL"
| "CONTINUE"
| "BREAK"
| "START"
| "END"
| "CONDITION"
| "ASSERT_CONDITION"
| "STATEMENT"
| "RETURN"
| "EMPTY"
| "MERGE"
| "FOR_INIT"
| "FOR_CONDITION"
| "FOR_UPDATE"
| "FOR_EXIT"
| "SWITCH_CONDITION"
| "SWITCH_MERGE"
| "CASE_CONDITION"
| "EXIT_PROCESS"