Links for certora-cli-alpha-eyalf-show-skolem-in-calltrace