= flatAbsC slow `thenFlt` \ (slow_heres, slow_tops) ->
flat_maybe maybe_fast `thenFlt` \ (fast_heres, fast_tops) ->
flatAmode upd `thenFlt` \ (upd_lbl, upd_tops) ->
returnFlt (AbsCNop, mkAbstractCs [slow_tops, fast_tops, upd_tops,
= flatAbsC slow `thenFlt` \ (slow_heres, slow_tops) ->
flat_maybe maybe_fast `thenFlt` \ (fast_heres, fast_tops) ->
flatAmode upd `thenFlt` \ (upd_lbl, upd_tops) ->
returnFlt (AbsCNop, mkAbstractCs [slow_tops, fast_tops, upd_tops,