flatten-module
consider 'eval
load "../WWSplitTactic.hss"
{rhs-of 'work
   eta-expand 'e ; 0
   eta-expand 's ; 0
   eta-expand 'f ; 0
   unfold 'unwrap
   one-td (unfold 'f)
   bash
   {
     consider case ; 2 ; 0 ; abstract 'm
     consider case ; 2 ; 0 ; abstract 'n
   }
   any-bu (fold 'unwrap)
   any-bu (unfold-rule "fusion")
}
simplify
any-call (unfold 'wrap)