session axiom_size_of_init_Why3_ide = NTP4Verif +
theories
  "axiom_size_of_init_Why3_ide_VCaxiom_size_of_init_post_size_goal0"
