seenVariables
InliningContext
semanticState
recordScopes
sequenceName
DefaultRewriterTaskProcessor
PlainRewriterStepSequencer
RewriterTaskProcessor
RunConditionRewriter
TracingRewriterTaskProcessor
ValidatingRewriterStepSequencer
simplifyPredicates
rewriters
singleLength
UniqueRel
spoilVariable
InliningContext
state
desugarMapProjection
expandStar