session imp = NTP4Verif +
theories
  "dict_Functional"
  "imp_Syntax"
  "imp_ConcreteSemantics"
  "dict_Imperative"
  "imp_Svar"
  "imp_Constraint"
  "imp_SymState"
  "imp_FreshSvar"
  "imp_SymStateSet"
