Analise Semantica em acao. Ja verifica sobrecarga de metodos, atributos com mesmo nome e valores atribuidos a atributos. Alem disso, faz a checagem de variaveis dentro dos metodos, incluindo a verificacao deles com os parametros.