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
producing correct box boundaries
spec for diff
