session axiom_pop_of_push_Why3_ide = NTP4Verif +
theories
  "axiom_pop_of_push_Why3_ide_VCaxiom_pop_of_push_post_equal_goal0"
