import ski.trs

Bxyz → x(yx)
Dxx  → xx
Cxyz → xzy
Yx   → x(Yx)
Wxy  → xyy