- Na entidade Contrato, adicionamos o atributo codContrato.
- No auto-relacionamento "depende", adicionamos a condição de que um beneficiário não pode ser dependente de outro 
de titularidade diferente (e.g.: o beneficiário João (codTitular1, nFila1) não pode ser dependente do beneficiário 
Juca (codTitular2, nFila5)).
- Removido o parágrafo que falava do relacionamento "oferecer" (binário, entre Credenciado e Procedimento).
- Removida a consulta relativa a "oferecer" (que procedimentos são oferecidos por um credenciado?).