init do
    `insert into users(id, age) values
        (1, 1 + 1),
        (2, 1 + 0),
        (3, 3 - 1),
        (4, 1 + 3 * 4),
        (5, 10 - 3 * 3),
        (6, 10 * 3 - 3),
        (7, 10 * 3 + 3),
        (8, 10 + 3 + 3),
        (9, 1 - 9 % 3),
        (10, 10 - 3 - 3),
        (11, 10 - 3 + 3),
        (12, 20 * 3 / 4),
        (13, 10 * 3 % 4),
        (14, 360 / 3 / 4)`
end

property eventually(`select age from users order by id` = {2, 1, 2, 13, 1, 27, 33, 16, 1, 4, 10, 15, 2, 30})

property eventually(1 + 1 > 1)

property eventually(1 + 0 >= 1)
property eventually(1 + 1 >= 1)

property eventually(1 < 1 * 2)

property eventually(1 <= 1 + 1)
property eventually(2 <= 3 - 1)

property eventually(2 = 2 / 1)

property eventually(1 + 3 * 4 = 13)
property eventually(10 - 3 * 3 = 1)

property eventually(10 * 3 - 3 = 27)
property eventually(10 * 3 + 3 = 33)

property eventually(10 + 3 + 3 = 16)


property eventually(9 / 3 = 3)
property eventually(10 / 3 = 3)

property eventually(10 % 3 = 1)
property eventually(1 - 9 % 3 = 1)

property eventually(10 - 3 - 3 = 4)
property eventually(10 + 3 - 3 = 10)

property eventually(10 * 3 * 3 = 90)
property eventually(20 * 3 / 4 = 15)

property eventually(10 * 3 % 4 = 2)

property eventually(360 / 3 / 4 = 30)