public String getLabel() {
   return leftExpr.toString() + " = " + rightExpr.toString();
 }
 public String toString(Prefix prefixInstance) {
   return leftExpr.toString(prefixInstance) + " = " + rightExpr.toString(prefixInstance);
 }