Such a tail recursive method doesn't seem to be a problem when it is optimized after typing phase. I tested it with all `LabelDef`s discarded and everything works still fine. Do you know further pitfalls this can lead to? If not I will submit the new code.