Update and fix LEO2 prover