testmachine found a logic bug in the disjointness checking. Add a dettestt for it and fix the bug. <3 testmachine
fix up ranges to be inclusive intervals, consistent with restrict