Some rework over Prover API, as well as changes from !134 (closed).
Easier to review commit by commit