CTE Support

[isaiahfisher]

I found this repo from the Cosette repo. The Cosette repo has an open issue indicating a plan for CTE support. Did CTE support get implemented in QED or is this still not function?

[Sicheng-Pan]

From my understanding CTE might be inlined by the parser directly. Have you tried it with the parser?