added postcondition to init, deinit, performreset