crash while inferring ranges for set expressions

sac2c crashes quickly on this:

use Array:{sel};

int main()
{
  y = [true, false];
  z = with {
        //(. <= iv <= .) : sel( sel( iv, y) ? ["0 "] : ["1 "]);
         (. <= iv <= .) : sel( true ? ["0 "] : ["1 "]);
       } : genarray([2]);
  return(0);
}