Added test for ControlFlowGraph plugin