pub fn prove_program(program: LaneProgram) -> Result<Proof, String>Expand description
A proof that program computes its operation, or why there is none. Proof::check accepts only a proof of the
lowering itself; this is the prover any program can be put to.