Links for certora-cli-alpha-gereon-cert-2325-cleanup-interactingcmdprocessor