Fixup inlining of loop bodies to cater to Aeneas restriction

[msprotz]

@sonmarcho as discussed -- returns become break after inlining, and should loop bodies be nested, we abort on the basis that we don't yet have break n in the krml ast