printing function
correct printing
parsing single terms for interval evaluation
handling disjunctions
raise error when interval lower bound bigger than upper bound
better error message
correct computation of constraint-wise residual
comment added
*** empty log message ***
