Links for certora-cli-alpha-cert-2181-support-currentcontract-in-ghosts