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