fix(tools/proofcheck/checker/env.ml): typo