Don't look at allocas after the first non-alloca instruction.
They are not local variables, and the instrumenter will create broken
bitcode if you do.