session residual = NTP4Verif +
theories
  "residual_Residual_accepts_epsilonqtvc"
  "residual_Residual_inversion_mem_star_genqtvc"
  "residual_Residual_inversion_mem_starqtvc"
  "residual_Residual_residualqtvc"
  "residual_Residual_decide_memqtvc"
  "residual_ResidualOCaml_decideqtvc"
