let is_subst_identity sigma = List.for_all (fun (x,y) -> Hstring.equal x y) sigma