David Bühler authored 5 years ago and Michele Alberti committed 5 years ago

This commit is separated from the next to avoid mixing up the oracle moves with
the addition of new oracles for the new runs.