private boolean isDUafterReachedFinallyBlocks_compute(Variable v) { if (!isDUbefore(v) && finallyList().isEmpty()) return false; for (Iterator iter = finallyList().iterator(); iter.hasNext(); ) { FinallyHost f = (FinallyHost) iter.next(); if (!f.isDUafterFinally(v)) return false; } return true; }