Module Checked.Int_as_prover_ref