let store m p v ap wp = let x = get_funvar m p.p_arity p.p_root ap in let v' = update_offset (fun _ -> logic_of_value v) (F.var x) p.p_off in L.subst x v' wp