init do
    let a := (1 + 3) * 4
    let b := (3 * 4) + 1
    `insert into users(id, age) values (1, (1 + 3) * 4), (2, (3 * 4) + 1)`
    `insert into managed_ids(id) values (1), (2)`
end

property eventually(a = 16 and b = 13)
property eventually(`select age from users order by id` = {16, 13})
property eventually(`select id from managed_ids order by id` = {1, 2})