Refactor RAC
This MR separates the RAC implementation based on Why3 transformations and provers (Rac.Why
) from the interpreter (Pinterp
). It also improves the overall terminology of counterexample checking, the API, and the documentation.
Edited by Benedikt Becker