Links for certora-cli-alpha-gereon-cert-1923-rm-bv-operators