CFGBuilder () { ConditionalGotoInstruction jump = new ConditionalGotoInstruction(null, DfType.TOP, null); jump.setOffset(myAnalyzer.getInstructionCount()); myBranches.add(() -> pushUnknown().add(jump)); return this; }