session x509_parser = NTP4Verif +
sessions
  "Why3STD"
theories
  "Compound_Compound"
  "Axiomatic12_Axiomatic12"
  "Globals_Globals"
  "S10_S10"
