public String toString() {return "("+pred+", "+alt+ ")";}

public String toString ( ) { return "(" + pred + ", " + alt + ")" ; }
public override String ToString(){return "(" + pred + ", " + alt + ")";}
