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 ***
sample computation fixed
comment
