let term_mk_update  = Arr.mk_update Term.is_equal