session conjugate = NTP4Verif +
sessions
  "Why3STD"
theories
  "conjugate_Conjugate_conjugateqtvc"
  "conjugate_Conjugate32_conjugateqtvc"
  "conjugate_Test_testqtvc"
  "conjugate_Conjugate"
  "conjugate_Test_benchqtvc"
