More reachability implementation, no token propagation yet.