session stack_pop_Why3_ide = NTP4Verif +
theories
  "stack_pop_Why3_ide_VCstack_pop_post_valid_goal0"
  "stack_pop_Why3_ide_VCstack_pop_assert_rte_mem_access_goal1"
  "stack_pop_Why3_ide_VCstack_pop_assert_rte_mem_access_2_goal2"
  "stack_pop_Why3_ide_VCstack_pop_assert_rte_unsigned_overflow_goal3"
  "stack_pop_Why3_ide_VCstack_pop_empty_post_unchanged_goal4"
  "stack_pop_Why3_ide_VCstack_pop_not_empty_post_size_goal5"
  "stack_pop_Why3_ide_VCstack_pop_not_empty_post_full_goal6"
  "stack_pop_Why3_ide_VCstack_pop_not_empty_post_unchanged_goal7"
  "stack_pop_Why3_ide_VCstack_pop_not_empty_post_capacity_goal8"
