[broken] fixed reachable_eq_rtrancl_view