session toy_compiler = NTP4Verif +
theories
  "toy_compiler_Compiler_soundness_genqtvc"
  "toy_compiler_Expr"
  "toy_compiler_StackMachine"
  "toy_compiler_Compiler_soundnessqtvc"
