Generate usage graph (a CFG skeleton) using reachability analysis