let rec merge_expinv tas = function
  | (t,Pos)::fin -> merge_expinv ((t,Neg)::tas) fin
  | (t,Neg)::fin -> merge_expinv ((t,Pos)::tas) fin
  | [] -> tas