parte da verificação semantida de identificadores (falta verificar os parametros das funcoes)