we first collect the set of possibly reachable resources