/printInlined truncates my code?

[alexthomasv]

I have relatively large Boogie file that I want inlined (~58 MB), but when I run boogie /noVerify /doModSetAnalysis /printInlined <file>, the code I get seems truncated. It prints out a contiguous region of basic blocks, then stops at the same basic block and outputs the inlined code.

For example, if my original code looked like:

bb0:

bb1:
goto bb0;
bb2:

The inlined code would just print out bb0, bb1, but not bb2. It somehow disappears from the program. Has this issue been discussed before/how can I get it to print out the full inlined code? Thank you. There is no error encountered either.

[shazqadeer]

Do you have a small repro?