Embora a intenção do encapsulamento seja exatamente a de esconder o comportamento penso que é importante ao usuário da API saber que ao adicionar um pagamento a classe pode vir a alterar o status do objeto para pago. Digo isto porque o nome do método apenas informa que um pagamento vai ser adicionado. A verificação do status para pago é um espécie de "extra", sobre o qual o nome do método não clarifica. O usuário da classe vai ficar na dúvida se o trabalho dele encerra por ali. Então acredito que ele deve documentar isso com cuidado no javadoc ou até alterar o nome do método para algo como adicionaPagamentoVerificaStatus. Gostaria de saber sua opinião a respeito.
