session all_distinct = NTP4Verif +
theories
  "all_distinct_AllDistinct_all_distinctqtvc"
