load-as-rewrite "WWA" "WW-Ass-A.hss"
define-rewrite "WWC" "ww-result-AssA-to-AssC WWA"
load-as-rewrite "StrictRepH" "StrictRepH.hss"
binding-of 'rev
ww-result-split-static-arg 1 [0] [| absH |] [| repH |] WWC
bash
{ rhs-of 'work
  alpha-lam 'ys
  lam-body
  eta-expand 'acc
  lam-body
  bash-extended-with [push 'repH StrictRepH, forward ww-result-fusion, apply-rules ["repH ++", "repH (:)", "repH []"] ]
}
one-td (unfold 'absH)