Links for certora-cli-alpha-naftali-remove-library-keyword