(function MyMap () i64 :merge (min old new)) (set (MyMap) 1) (rule ((MyMap)) ((set (MyMap) 1) (set (MyMap) 2))) (run-schedule (saturate (run)))