Configuration (@NotNull Predicate<DeclarationDescriptor> stepIntoFilter) { return new Configuration(checkPrimaryConstructors, checkPropertyAccessors, includeMethodsOfKotlinAny, renderDeclarationsFromOtherModules, checkFunctionContracts, stepIntoFilter, validationStrategy.withStepIntoFilter(stepIntoFilter), renderer); }