Inliner condition "goto is the only instruction of the block" works everywhere except infinite loops.
The condition could be refined in a way that no block in infinite loop can be inlined. This way, we could get inlining of single instruction blocks back.