session linked_n_starting_from_null_empty_Why3_ide = NTP4Verif +
theories
  "linked_n_starting_from_null_empty_Why3_ide_VClinked_n_starting_from_null_empty_post_goal0"
