extend-wf-tp with upper bound: wf-tp-dia finally %% OK %%