All Methods Instance Methods Abstract Methods
Modifier and Type	Method	Description
`Collection`	`branches()`
`Stmt`	`branchTarget(Stmt branchStmt)`
`void`	`collectBranches(Collection c)`
`void`	`collectFinally(Stmt branchStmt, ArrayList list)`
`Collection`	`escapedBranches()`
`Collection`	`targetBranches()`
`Collection`	`targetBreaks()`
`Collection`	`targetContinues()`
`boolean`	`targetOf(BreakStmt stmt)`
`boolean`	`targetOf(ContinueStmt stmt)`

void collectFinally(Stmt branchStmt,
                    ArrayList list)

boolean targetOf(ContinueStmt stmt)

Interface BranchPropagation