Rewrite reachable

r? @nikomatsakis