functional.sqlancer.doi_10_1145_3428279_example_01_test. predicate 0 = -0 to incorrectly evaluate to FALSE.