fix(tools/proofcheck/checker/func.ml): remove debugging info