flatten-module
consider 'fib
{
  load "../WWSplitTactic.hss"
  {rhs-of 'work
    unfold 'unwrap
    any-call (unfold 'f)
    { consider lam ; alpha-lam 'm }
  }
  simplify
  any-call (unfold 'wrap)
}