add new testcase: if.kp