structuredAttrs is enabled

trying https://github.com/AeneasVerif/aeneas/releases/download/nightly-2026.07.31-3a8586f/aeneas-linux-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
 31 119.3M  31 38.02M   0      0 29.62M      0   00:04   00:01   00:03 38.02M
 61 119.3M  61 73.20M   0      0 31.77M      0   00:03   00:02   00:01 36.23M
 91 119.3M  91 108.7M   0      0 32.77M      0   00:03   00:03         35.83M
100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M
100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M
100 119.3M 100 119.3M   0      0 33.91M      0   00:03   00:03         35.83M