Implementação simples de Design by Contract