topLevel :: Program -> Program
topLevel input =
  residualize $ ConsPD.Unfold.topLevel (-1) input
topLevel :: Program -> Program
topLevel input =
  residualize $ ConsPD.Unfold.topLevel (-1) input
topLevel input =
  residualize $ ConsPD.Unfold.topLevel (-1) input