init do
    `insert into users(id, age) values (1, 10)`
end

process do
    `update users set age := 20, id := 2 where id = 1`
end

property eventually(`select id, age from users` = (2, 20))