session stack_pop_wd_Why3_ide = NTP4Verif +
theories
  "stack_pop_wd_Why3_ide_VCstack_pop_wd_post_valid_goal0"
  "stack_pop_wd_Why3_ide_VCstack_pop_wd_post_equal_goal1"
  "stack_pop_wd_Why3_ide_VCstack_pop_wd_call_stack_pop_pre_valid_2_goal2"
