Análise Sintática Abstrata finalizada