init do
    `create unique index on users(id, version)`
end

process do
    transaction tx1 read_committed do
        let count_1 := `select count(age) from users where id = 1 and version = 1`
        if count_1 >= 1 do
            `update users set age := 21 where id = 1 and version = 1`
        else
            `insert into users(id, version, age) values (1, 1, 21)`
        end
    end
end

process do
    transaction tx2 read_committed do
        let count_2 := `select count(age) from users where id = 1 and version = 1`
        if count_2 >= 1 do
            `update users set age := 22 where id = 1 and version = 1`
        else
            `insert into users(id, version, age) values (1, 1, 22)`
        end
    end
end

property eventually(`select id, version, age from users` in {
    (1, 1, 21), (1, 1, 22)
})