Following property was violated: eventually(select age from users where id = 1 in {21, 22})