change the output of test case "trueForAny"