Class AST.TransitiveExpr