Dependent Contacts

• Create a precondition that returns a function to run as the postcondition

method 'decrement';
    dep {
        my $old_item = self->item;
        return sub {
            self->item == $old_item - 1;
        };
    };