private Collection escapedBranches_compute() {
HashSet set = new HashSet();
if(hasFinally())
set.addAll(branchesFromFinally());
if(!hasFinally() || getFinally().canCompleteNormally())
set.addAll(branches());
return set;
}
// Declared in DefiniteAssignment.jrag at line 667
@SuppressWarnings({"unchecked", "cast"}) public boolean isDAafter(Variable v) {