Agregado de getAST (devuelve la lista de asts)