public String toString() {return "(FOLLOW(" + path.toString() + ")" + " AND " + ANY_DIFF.toString() + ")";}

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