add _ugraph refinement based on reachability analysis