Remove redundant and wrong clause in match-values
Treap-based hashconsed route.rkt