test case for control_flow