trans: Selection -> SyntaxTree