session strsep_Why3_ide = NTP4Verif +
theories
  "strsep_Why3_ide_VCstrsep_disjoint_input_strpbrk_not_null_input_strpbrk_null____goal1"
  "strsep_Why3_ide_VCstrsep_complete_input_strpbrk_not_null_input_strpbrk_null____goal0"
  "strsep_Why3_ide_VCstrsep_input_strpbrk_not_null_post_4_goal2"
