session mpz_add = NTP4Verif +
theories
  "mpz_add_Zadd_wmpz_addqtvc"
  "mpz_add_Zadd_wmpz_add_uiqtvc"
