old mean value implementation removed
mean-value constraint for several function symbols
bugfix pruneUnivQuantBound: store result of pruning
bugfix parsing MINUS
unary minus: mean value constraint
bugfix: parsing without meanvalue constraint
primitive constraint for unary minus
unary minus added
first version with mean value constraint
faithful printing of box boundaries
