session verifythis_2015_relaxed_prefix = NTP4Verif +
sessions
  "Why3STD"
theories
  "verifythis_2015_relaxed_prefix_RelaxedPrefix"
  "verifythis_2015_relaxed_prefix_RelaxedPrefix_is_relaxed_prefixqtvc"
