anchor.diff:  working(timeout, #state {max_worker_count = MW,
                            live_worker_count = LW,
                            worker = #migration_worker{next_object_generator = Next,
  -                                                    supervisor = SupMod,
                                                       callback_module = Mod}}
                            = State) when LW < MW ->
   
  
positive.code: -export([ ping/0,
            start_link/0,
            migrate/2,
            migrate_next/0,
            migrate_user_password_storage/2,
            status/0,
            halt_actions/0,
  
negative.code: migrate_user_password_storage(all, NumWorkers) ->
      migrate_user_password_storage(-1, NumWorkers);
  migrate_user_password_storage(NumUsers, NumWorkers) ->
      Worker = #migration_worker{
                                 processor_fun = fun mover_user_hash_converter:convert_user/1,
                                 callback_module = mover_user_hash_converter_callback},
      gen_fsm:sync_send_event(?SERVER, {start, NumUsers, NumWorkers, Worker}).
  