Uma implementação simples de Design by Contract