let w' = Utils.compute_equality_weight ty newleft newright in
let o' = !Utils.compare_terms newleft newright in
newmeta, (w', p, (ty, newleft, newright, o'), m, a)
let w' = Utils.compute_equality_weight ty newleft newright in
let o' = !Utils.compare_terms newleft newright in
newmeta, (w', p, (ty, newleft, newright, o'), m, a)