session ungetc_Why3_ide = NTP4Verif +
theories
  "ungetc_Why3_ide_VCungetc_success_post_3_part1_goal12"
  "ungetc_Why3_ide_VCungetc_success_post_3_part2_goal13"
  "ungetc_Why3_ide_VCungetc_fail_assign_part3_goal3"
  "ungetc_Why3_ide_VCungetc_fail_assign_part4_goal4"
  "ungetc_Why3_ide_VCungetc_fail_assign_part5_goal5"
  "ungetc_Why3_ide_VCungetc_success_post_part2_goal7"
  "ungetc_Why3_ide_VCungetc_success_post_2_part1_goal9"
  "ungetc_Why3_ide_VCungetc_success_post_4_part2_goal16"
  "ungetc_Why3_ide_VCungetc_success_assign_part4_goal18"
  "ungetc_Why3_ide_VCungetc_success_post_2_part3_goal11"
  "ungetc_Why3_ide_VCungetc_complete_success_fail_goal0"
  "ungetc_Why3_ide_VCungetc_success_post_4_part1_goal15"
  "ungetc_Why3_ide_VCungetc_disjoint_success_fail_goal1"
  "ungetc_Why3_ide_VCungetc_success_post_3_part3_goal14"
  "ungetc_Why3_ide_VCungetc_success_post_part1_goal6"
  "ungetc_Why3_ide_VCungetc_fail_post_part3_goal2"
  "ungetc_Why3_ide_VCungetc_success_post_part3_goal8"
  "ungetc_Why3_ide_VCungetc_success_assign_part5_goal19"
  "ungetc_Why3_ide_VCungetc_success_post_2_part2_goal10"
  "ungetc_Why3_ide_VCungetc_success_assign_part3_goal17"
