this.driver = new BranchSensitiveTACAnalysisDriver(transferFunction, eclipseTAC);
transferFunction.setAnalysisContext(driver);
}
public LE getResultsAfter(final TACInstruction instr) {
ASTNode node = instr.getNode();
// get regular results before looking up root instruction
// to switch to surrounding method, if necessary
// (driver.tac could be null or outdated otherwise)
final LE nodeResults = getResultsAfter(node);
final TACInstruction rootInstr = this.driver.tac.instruction(node);