last_added_       211 src/parser.cc      ASSERT(last_added_ == ADD_CHAR);
last_added_       224 src/parser.cc      ASSERT(last_added_ == ADD_ATOM);
last_added_       228 src/parser.cc      ASSERT(last_added_ == ADD_ATOM);
last_added_       291 src/parser.h     enum {ADD_NONE, ADD_CHAR, ADD_TERM, ADD_ASSERT, ADD_ATOM} last_added_;
last_added_       292 src/parser.h   #define LAST(x) last_added_ = x;