@Override
 public String generateXML() {
   return "\\ingest{"
       + identifier.generateXML()
       + ","
       + threshold.generateXML()
       + ","
       + rate.generateXML()
       + "}";
 }
 @Override
 public String generateXML() {
   String op = "";
   switch (prim) {
     case MAX:
       op = "max";
       break;
     case MIN:
       op = "min";
       break;
   }
   return "\\" + op + "{" + lExpr.generateXML() + "," + rExpr.generateXML() + "}";
 }