let create_var (x: var) (r: rslt) (ar: act_ref) (b: b)
: b =
assert (act_valid ar b);
let act = act_assoc_valid ar b in
let data' = upd_assoc x r act.act_vars in
let act' = { act with act_vars = data' } in
act_update ar act' b