The java problem is that Java doesn't create a block tree for functions,
it relies on the function lowering to do it.
Does Ada do the same?
Ada *tries* to create a block tree for functions. There's always the chance
it's done incorrectly, but there's been no evidence of that so far.