session substraction = NTP4Verif +
theories
  "substraction_SubstractionSingle_substraction_errors_basicqtvc"
  "substraction_SubstractionSingle_substraction_errorsqtvc"
  "substraction_SubstractionDouble_substraction_errors_basicqtvc"
  "substraction_SubstractionDouble_substraction_errorsqtvc"
