compute all AFSs reacheable from a particular AFS by migration