session mpz_neg = NTP4Verif +
theories
  "mpz_neg_Zneg_wmpz_negqtvc"
