- n -

• NAMED_SUB_IS_FORWARD_LIST : irep.h
• NB_COLOURS : event_graph.cpp
• NESTING_CLOSED_LINE_SEPARATOR : expr2statement_list.cpp
• NESTING_OPEN_LINE_SEPARATOR : expr2statement_list.cpp
• newstack : parser.h
• NO_VALUE : statement_list_parse_tree_io.cpp
• NONDET_VOLATILE_MODEL_OPT : nondet_volatile.h
• NONDET_VOLATILE_OPT : nondet_volatile.h
• NONDET_VOLATILE_VARIABLE_OPT : nondet_volatile.h
• NORMALISE_CONSTANT_TESTS : simplify_expr_int.cpp
• NOT : expr2statement_list.cpp
• NOT_POSTFIX : expr2statement_list.cpp