ProofInfer
val proofInfer : CoreAst.program -> ProofAst.program returns the complete proof.
val proofInfer : CoreAst.program -> ProofAst.program
fun proofInfer p : CoreAst.program -> ProofAst.program
p