@Override
protected Integer visitVarRefNode(VarRefNode node) {
return Objects.hashCode(node.getDefnDecl());
}
@Override
protected Boolean visitVarRefNode(VarRefNode node) {
VarRefNode typedOther = (VarRefNode) other;
// Varrefs are considered equivalent if they have identical vardefns
return typedOther.getDefnDecl() == node.getDefnDecl();
}
