add weird test cases for while false