Remove dead code in Range.v