+1 An unfortunate thing with the bug report is that compact examples tend to involve fairly dodgy looking assert(false) contracts - which look and feel like "you're doing it wrong". BUT the issue exists in realistic code, it just isn't as compactly demonstrable :|