analyzeLoopedStack infinite loop when loop block has procedure call input

[GarboMuffin]

This is what #268 is working around

Loop block's inputs need to include a procedure call in reporter form, and loop block's body needs to include a variable change somewhere

Looks like the procedure call -> state.after -> always does a modification