String label = null;
Instruction instr = program.getInstruction(sourceAddr);
if (instr instanceof BranchInstruction) {
BranchInstruction bi = (BranchInstruction)instr;
if (bi.isConditional()) {
// Get the original goto from the program (not the converted assume)
RTLStatement rtlGoto = program.getStatement(e.getSource());
// If this is the fall-through edge, output F, otherwise T
label = targetAddr.equals(rtlGoto.getNextLabel().getAddress()) ? "F" : "T";