getNextIntName();
  private String evalIntDomain(IXMLElement xml, LinkedList funcImpls) {    String lb = evalValue(xml.getFirstChildNamed("LowerBound").getChildAtIndex(0));    String ub = evalValue(xml.getFirstChildNamed("UpperBound").getChildAtIndex(0));    return "IntervalIntDomain((int)" + lb + ", (int)" + ub + ");";  }