session insertion_sort_list = NTP4Verif +
theories
  "insertion_sort_list_InsertionSort_Trans"
  "insertion_sort_list_InsertionSort_insertqtvc"
  "insertion_sort_list_InsertionSort_insertion_sortqtvc"
