(function foo () i64 :merge (min old new))

(rule () ((set (foo) 4)))

(set (foo) 10)

(run 3)

(check (= (foo) 4))