renderDescriptionTree

ExpressionDescriber

resetAttrs

MacroHelper

result

ViolationBuilder

rewriteExistentialTypes

MacroHelper

ruleViolationFromTuple

ViolationBuilder