`allOf` schemas that has `if-then` inside do not render properly

Describe the bug

We are having issues rendering allOf schemas that has if-then inside. We are using redocly versions

"redoc": "2.0.0-rc.73",

"redoc-cli": "^0.13.16",

I am attaching here “layers.schema.current.json” where line 168 consists of a then clause and this json is rendering fine. Our actual schema is as described on “layers.schema.actual.json” and here if you refer to line 168 you will notice an allOf. But this schema fails to render with the current redocly version. Whereas it is as per openAPI standard https://json-schema.org/understanding-json-schema/UnderstandingJSONSchema.pdf (See 4.12.3 If-Then-Else) . allOf schema was working with "redoc": "2.0.0-rc.38".

Note: layers.schema.current.json is called from post_document_operations.schema. I am attaching post_document_operations.schema for debugging help.

Additional context
Aforemetioned schemas here: Archive.zip

Front conversations

Start by comparing layers.schema.current.json and layers.schema.actual.json around line 168, then trace how post_document_operations.schema references them. Use Archive.zip to reproduce rendering with the reported Redoc versions, and confirm the fix when the allOf schema containing if-then renders correctly without regressing the working schema.