structuredAttrs is enabled trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-macos-aarch64.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 0 17 117.9M 17 20.06M 0 0 15.68M 0 00:07 00:01 00:06 19.96M 25 117.9M 25 30.52M 0 0 13.25M 0 00:08 00:02 00:06 15.04M 50 117.9M 50 60.01M 0 0 17.73M 0 00:06 00:03 00:03 19.29M 59 117.9M 59 70.65M 0 0 16.10M 0 00:07 00:04 00:03 17.17M 84 117.9M 84 99.24M 0 0 18.42M 0 00:06 00:05 00:01 19.41M 100 117.9M 100 117.9M 0 0 19.85M 0 00:05 00:05 19.41M 100 117.9M 100 117.9M 0 0 19.85M 0 00:05 00:05 19.41M 100 117.9M 100 117.9M 0 0 19.85M 0 00:05 00:05 19.41M