faltam funcoes, procedimentos, rótulos e NOT expressao