Class for storing a conjunction of inequalities that are normalised to the
t >= 0.
Interval constraint propagation (ICP) for linear inequalities.
The implementation for the trivial case that there are no inequalities (this is realised as an own class for performance reasons)
Reduce certain terms or formulas drawing information from inequalities that are assumed as facts.
The standard implementation