Closed xelalexv closed 6 years ago
Realized that restriction validation belongs to VariableNode, not SubstitutionNode. Moving it there fixes the issue.
VariableNode
SubstitutionNode
Realized that restriction validation belongs to
VariableNode
, notSubstitutionNode
. Moving it there fixes the issue.