add control-flow