IRCE appreciation and gripes (inductive range check elimination)

I wonder if it’s having trouble understanding the relation between memory and array

2 Likes