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