static private LogicalExpression logicalNot(Node n,TermSystem p)
throws AnalyzeException, ConstraintException {
ChildIterator child = new ChildIterator(n);
Node next = child.next();
LogicalExpression first = parse(next,p);
return new NotExpression(first);
}