[Soot-list] Return Stmt

[Mario Mendez]

Can your confirm that the invariant "if a return statement is present in 
a block, it is always the last stmt of that block" is true?

As always,thanks!