Dominic: correct behaviour for enclosesInterval