use maybe-wf-tp in tsel1 and tsel2-lenient