public: // (non-static wannabe) fields
static std::list<VisitedPair*> acceptance_pairs;
static std::list<Pair*> liveness_stack;
public: // (non-static wannabe) fields
static std::list<VisitedPair*> acceptance_pairs;
static std::list<Pair*> liveness_stack;