Reorder code in prover to make it more readable