Update StructuralEquality.n