// <!ELEMENT IDSExprMinus (%ExprInt;,(%ExprInt;)+)>
// <!ELEMENT IDSExprTimes (%ExprInt;,(%ExprInt;)+)>
static private Expression intOperator(Node n,TermSystem p)
throws AnalyzeException, ConstraintException {
String operator = ((Element) n).getTagName();
ChildIterator child = new ChildIterator(n);
Node next = child.next();
Expression first = parse(next,p);
if (!child.hasMoreChild()) exception(1);
Expression second = intOperatorAux(child,p, operator);
Expression expr = null;
if (isPlus(operator)) expr = new PlusExpression(first,second);
else if (isMinus(operator)) expr = new MinusExpression(first,second);
else if (isTimes(operator)) expr = new TimeExpression(first,second);