https://123dok.net/document/q2norv9j-visibly-pushdown-transducers-with-well-nested-outputs.html