Refined Node Equality