GTH(AST)