public override string ToString() { return("(FOLLOW(" + path.ToString() + ")" + " AND " + ANY_DIFF.ToString() + ")"); }