functional.sqlancer.doi_10_1145_3428279_example_15_test. Wrong evaluation of MIN when bitwise shift is applied to the source value