Understand cases in which make_wf_interval tightens the interval

[mars0i]

I had thought that Setchains.make_wf_interval would never have to tighten the interval generated by make_wf_interval_no_tight_check, but it often does in practice. Is this OK?