let
assign lv e p = assign_exp lv (texpr e) p