@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(); }