subquery cannot use nested CTE

WITH cte2 AS (

    WITH cte1 AS (

        SELECT 1

        FROM [] t1

    )    

    SELECT 1

    FROM (

        SELECT 1

        FROM cte1 AS c1

    ) AS t2

)

SELECT 1 FROM cte2

{

  "code": 3082,

  "msg": "Formalizer internal error: correlation reference cte1 is not in allowed",

  "query": "WITH cte2 AS (\n    WITH cte1 AS (\n        SELECT\n            1\n        FROM [] t1\n    )\n\n    SELECT 1\n    FROM (\n        SELECT\n            1\n        FROM cte1 AS c1\n    ) AS t2\n)\n\nSELECT 1 FROM cte2"

}