session checking_a_large_routine = NTP4Verif +
theories
  "checking_a_large_routine_CheckingALargeRoutine_routineqtvc"
  "checking_a_large_routine_CheckingALargeRoutine_routine2qtvc"
  "checking_a_large_routine_CheckingALargeRoutine_downwardqtvc"
