Links for certora-cli-alpha-gereon-cert-1993-fix-unique-successor-remover