Valentin Perrelle authored 3 years ago and David Bühler committed 3 years ago

- when no wto is given, the wto is recomputed ; if the analysis is
  backward, the graph is reversed for the computation of the wto