Remove precondition checks in package-scope classes