session compare = NTP4Verif +
theories
  "compare_Compare_wmpn_cmpqtvc"
