update the way this analysis visits every method reachable from program entry