restrict-wf-lkp not needed atm
sub-env-trans
first cut at wf-tp-dia and a few easy cases