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

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