Resolved
Added stub for test prover info