Design-by-Contract OO in Perl