The inline push named the incremented stack length `%len1<id>`, which for push 0 is the same name as push 10's loaded length `%len10`. Walkers of classes with more than ten pushed fields were invalid IR. The incremented length is now `%lennext<id>`.