let
same_ident a b =
Hstring
.equal a.var.ident.iname b.var.ident.iname