Ensure that the limit will not be included in the interval -- Add an assertion if a dead lock will appear