PatternExpressionPatternElementNamer
rewriters
PlainRewriterStepSequencer
rewriting
Projectibles
projectNamedPaths
PropertyPredicateNormalizer
rewriters
parameter
LiteralReplacement
paths
Projectibles
patternPartPathExpression
projectNamedPaths
patternRewriter
InliningContext
postConditions
RewriterContract
previousName
RunConditions
problems
RewriterConditionFailure
projectFreshSortExpressions
rewriters
projectNamedPaths
rewriters
projections
InliningContext
protectedVariables
Projectibles