non-recursive version of mean value constraints
version 2:00
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