análise semantica quase completa, falta só a verificação dos argumentos e parâmetros