This new CI would run BlackBox but with a large number of scenarii per proof to make increase the confidence the abstraction is correct