[V3US29]Change equivalence relationship between terms