investigation

{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[]}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[]}},
 {set,{var,1},
      {call,maps_eqc,populate,
            [puts,
             [{0.0,{0,0,0}},
              {0.0,[<<209,38,243,2:2>>,true,13,<<>>,7890181666]}]]}},
 {set,{var,2},{call,maps_eqc,map,[#Fun<eqc_gen.153.53124224>,iterator]}}]

maps_eqc:populate(puts,
    [{0.0, {0, 0, 0}},
     {-0.0, [<<209, 38, 243, 2:2>>, true, 13, <<>>, 7890181666]}]) ->
  #{0.0 => [<<209, 38, 243, 2:2>>, true, 13, <<>>, 7890181666]}
maps_eqc:map(#Fun<eqc_gen.153.53124224>, iterator) -> #{0.0 => -17}

Reason:
  Post-condition failed:
  common: #{0.0 => -17} /= #{-0.0 => -7079116}
[prop_map_distributed]