Delete unused fun triq_dom:try_shrink/3