added wrapper fn so pre and post conditions will work on deffetch and defputback