session array_max = NTP4Verif +
theories
  "array_max_ArrayMax_maxqtvc"
