fixing environment in ProofChecking file