Add a test case for integer single predication