structuredAttrs is enabled

trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-linux-x86_64.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
 25 117.9M  25 30.10M   0      0 24.18M      0   00:04   00:01   00:03 29.80M
 47 117.9M  47 56.12M   0      0 24.85M      0   00:04   00:02   00:02 27.73M
 76 117.9M  76 90.10M   0      0 26.94M      0   00:04   00:03   00:01 28.97M
 93 117.9M  93 110.4M   0      0 25.42M      0   00:04   00:04         26.87M
100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M
100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M
100 117.9M 100 117.9M   0      0 25.29M      0   00:04   00:04         26.87M