class BotsingActualControlFlowGraph extends ActualControlFlowGraph {

    @Override
    protected void setEntryPoint(BytecodeInstruction entryPoint) {
        if (entryPoint == null) {
            throw new IllegalArgumentException("The given entryPoint is null");
        }
        this.entryPoint = entryPoint;
    }

    public  BotsingActualControlFlowGraph(RawControlFlowGraph rawGraph);

}