session vstte12_two_way_sort = NTP4Verif +
theories
  "vstte12_two_way_sort_TwoWaySort_two_way_sortqtvc"
