Note: better translation uses two destination vertices, analogously to Compilation as Tree Transformation