session random_number_Why3_ide = NTP4Verif +
theories
  "random_number_Why3_ide_VCrandom_number_assert_rte_unsigned_downcast_goal1"
  "random_number_Why3_ide_VCrandom_number_post_goal0"
