Update control_flow.pl