The Precondition

sub decrement {
    my ($self) = @_;

    die "item must be gt zero"
        unless $self->{item} > 0;

    $self->{item}--;
    ...
}