Predicate FinallyMayNotComplete::banned

predicate banned(Stmt s, Block finally)