resolving global objects bug

The following code

int main()
{
    shp = [1];

    with {
          (_mul_SxV_(0,shp) <= iv < shp) {StdIO::print(iv); } : StdIO::stdin;
        } : propagate(StdIO::stdin) ;

    return 0;
}

crashes

sac2c -V
sac2c 1.3.3-MijasCosta-771-g499e7
build-type: RELEASE
built-by: "sbs" at 2022-02-20T11:53:21

in he debug version with v4, we learn:

**  5: Converting to static single assignment form ...
  **** Inserting variable declarations ...
  **** Converting type decls into type conversions ...
  **** Creating wrapper functions ...
  **** Running global object analysis ...
  **** Generating global object initialiser ...
  **** Resolving global objects ...
TRAVERSE ERROR: node of type 94:N_globobj found where 32:N_id was expected!



OOOOOOOPS, your program crashed the compiler 8-((