Dear Soot Users, Is there an existing routine that can return directly the reachable methods from loop (i.e., the loop header statement and the loop body statements)? If not, is there an existing dynamic dispatch routine that I can use to resolve callsites when I compute the reachable methods on my own? Thanks, Tony