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

process do
    transaction tx1 read_committed do
        `update users set age := 101 where id = 1`
        abort
    end
end

property always(`select age from users` = 10)