public String toString() {return "pred_"+ruleIndex+":"+predIndex;}

public String toString ( ) { return "pred_" + ruleIndex + ":" + predIndex ; }
public override string ToString(){return "pred_" + ruleIndex + ":" + predIndex;}
