let
assign lv e (obligs, p) = (obligs, map_named_prop (
W
.assign lv e) p)