let assign lv e p = try_or_bot (W.assign lv e) p