thank you for the feedback. Okay, so no typemax(UInt) ? I guess, I will just open a suggestion on Julia github to get further feedback here the issue
Meanwhile I build the IRTools implementation. It has some difficulties with distributed/@async, threads and such (all of which should just be special cases of rewrites), but otherwise it works 