Changed the interface for old. Instead of being the old self, old.self is the old self. old.args and old.kwargs are now available to postconditions