log for Control Flow analysis