more CtrlFlow testcases