/4 width=11 by snv_appl, cpds_cprs_trans, cprs_bind/
| #G #L2 #W #T #U #l #_ #_ #HTl #HTU #HUW #IHW #IHT #L1 #HL12
lapply (lsubsv_cpcs_trans … HL12 … HUW) -HUW #HUW
/4 width=11 by snv_appl, cpds_cprs_trans, cprs_bind/
| #G #L2 #W #T #U #l #_ #_ #HTl #HTU #HUW #IHW #IHT #L1 #HL12
lapply (lsubsv_cpcs_trans … HL12 … HUW) -HUW #HUW