let assign_old_exp v e p = MO.assign_old_exp texpr v e p