session tree_height = NTP4Verif +
theories
  "tree_height_HeightCPS_height_cpsqtvc"
  "tree_height_HeightCPS_heightqtvc"
  "tree_height_Iteration_sizek_nonnegqtvc"
  "tree_height_Iteration_helper1qtvc"
  "tree_height_Iteration_sizew_nonnegqtvc"
  "tree_height_Iteration_height1qtvc"
  "tree_height_HeightStack_sizes_nonnegqtvc"
  "tree_height_HeightStack_height_stackqtvc"
  "tree_height_HeightStack_height1qtvc"
  "tree_height_HeightSmallSpace_height_limitedqtvc"
  "tree_height_HeightSmallSpace_heightqtvc"
