feature wish: debug flag to print the location of checked formulas in the RAC
To better debug the checking of counterexamples, it would be better to have a debug flag that will trace on which formulas of the source the RAC prover is called. There is an example coming from spark where the prover is called several hundred of times, which is unexpected.