session fgetc_Why3_ide = NTP4Verif +
theories
  "fgetc_Why3_ide_VCfgetc_no_error_post_2_part1_goal7"
  "fgetc_Why3_ide_VCfgetc_error_assign_part3_goal4"
  "fgetc_Why3_ide_VCfgetc_no_error_post_part1_goal5"
  "fgetc_Why3_ide_VCfgetc_no_error_post_2_part2_goal8"
  "fgetc_Why3_ide_VCfgetc_complete_error_no_error_goal0"
  "fgetc_Why3_ide_VCfgetc_no_error_post_part2_goal6"
  "fgetc_Why3_ide_VCfgetc_error_post_part1_goal2"
  "fgetc_Why3_ide_VCfgetc_error_assign_part1_goal3"
  "fgetc_Why3_ide_VCfgetc_no_error_post_3_part1_goal9"
  "fgetc_Why3_ide_VCfgetc_no_error_post_3_part2_goal10"
  "fgetc_Why3_ide_VCfgetc_no_error_assign_part3_goal12"
  "fgetc_Why3_ide_VCfgetc_disjoint_error_no_error_goal1"
  "fgetc_Why3_ide_VCfgetc_no_error_assign_part1_goal11"
