added missing precondition to drop tests