session add_sqrt = NTP4Verif +
theories
  "add_sqrt_AdditionSqrtSingle_add_sqrtqtvc"
  "add_sqrt_AdditionSqrtDouble_add_sqrtqtvc"
