testing range and equivalenceMap
with SmallerTestforDAG