session list_init_Why3_ide = NTP4Verif +
theories
  "list_init_Why3_ide_VClist_init_post_goal0"
  "list_init_Why3_ide_VClist_init_post_2_goal1"
