session heap_sort_Why3_ide = NTP4Verif +
theories
  "heap_sort_Why3_ide_VCheap_sort_post_reorder_goal0"
