session ISet = NTP4Verif +
theories
  "ISet_Logic_iset_ok_charqtvc"
  "ISet_Impl_insertqtvc"
  "ISet_Impl_removeqtvc"
  "ISet_Impl_mergeqtvc"
