keel.Algorithms.Hyperrectangles.EHS