session mpz_abs = NTP4Verif +
theories
  "mpz_abs_Zabs_wmpz_absqtvc"
