Delete unused fun triq_dom:try_shrink/3 (Reported-by: Joe Norton)