ControlFlow test case