Links for certora-cli-alpha-abakst-storage-analysis-static-arrays-again