anchor.diff:                  ?V("==== Start post operations, stabilize and confirm results~n", []),
                   {_Res2, S2} = stabilize(commands_len(Cmds), SetupState),
                   {Dataloss, Critical} = confirm_result(S2),
  +                _ = cleanup(SetupState),
                   pretty_commands(
                     ?MODULE, Cmds, {H, S1, Res},
                     aggregate(with_title(cmds), command_names(Cmds),
  
positive.code:                             ?V("Res=~w~n", [Res]),
                              {undefined, undefined}
                  end,
                  pretty_commands(
                    ?MODULE, Cmds, {Seq, Par, Res},
                    aggregate(with_title(cmds), command_names(Cmds),
  
negative.code:              end || {ThePid, M_name} <- Pids]
      end.
  
  wait_until_stable(ExpectedChainState, FLUNames, MgrNames, FCList, Verbose) ->
      wait_until_stable(ExpectedChainState, FLUNames, MgrNames, FCList, 20, Verbose).
  
  wait_until_stable(ExpectedChainState, FLUNames, MgrNames, FCList, Retries, Verbose) ->
      TickFun = tick_fun(FLUNames, MgrNames, self()),
      wait_until_stable1(ExpectedChainState, TickFun, FCList, Retries, Verbose).
  
  wait_until_stable1(_ExpectedChainState, _TickFun, FCList, 0, _Verbose) ->
      ?V("  [ERROR] wait_until_stable failed.... : ~p~n", [chain_state(FCList)]),
      false;
  wait_until_stable1(ExpectedChainState, TickFun, FCList, Reties, Verbose) ->
      [TickFun(3, 0, 100) || _ <- lists:seq(1, 3)],
      Normalized = normalize_chain_state(chain_state(FCList)),
      case Normalized of
          ExpectedChainState ->
              [?V("  Got stable chain: ~w~n", [chain_state(FCList)]) || Verbose],
              true;
          _ ->
              [?V("  NOT YET stable chain: ~w~n", [chain_state(FCList)]) || Verbose],
              wait_until_stable1(ExpectedChainState, TickFun, FCList, Reties-1, Verbose)
      end.
  
  normalize_chain_state(ChainState) ->
  