and node_kind = | Enter| Exit| TrueNode| FalseNode| IfHeader of Ast_generic.expr| WhileHeader of Ast_generic.expr| DoHeader| DoWhileTail of Ast_generic.expr| ForHeader| ForeachHeader| SwitchHeader of Ast_generic.expr| SwitchEnd| Case| Default| Return of Ast_generic.expr| Break of Ast_generic.expr option| Continue of Ast_generic.expr option| TryHeader| CatchStart| Catch| TryEnd| Throw of Ast_generic.expr| Join| Parameter of Ast_generic.parameter| SimpleStmt of simple_stmtval display_flow : flow -> unitval short_string_of_node_kind : node_kind -> stringval short_string_of_node : node -> string