Add stub for control flow graph construction