@Override
public void visit(SymbolicConstraint node) {
for (Map.Entry<Variable, Term> entry : node.substitution().entrySet()) {
entry.getKey().accept(this);
entry.getValue().accept(this);
}
for (SymbolicConstraint.Equality equality : node.equalities()) {
equality.leftHandSide().accept(this);
equality.rightHandSide().accept(this);
}
}