session warshall_algorithm = NTP4Verif +
theories
  "warshall_algorithm_WarshallAlgorithm_weakeningqtvc"
  "warshall_algorithm_WarshallAlgorithm_decompositionqtvc"
  "warshall_algorithm_WarshallAlgorithm_transitive_closureqtvc"
