session queue_test = NTP4Verif +
theories
  "queue_test_Test_test0qtvc"
  "queue_test_Test_test1qtvc"
