Funny maps:to_list problem

maps_eqc_3.txt

4> eqc:module({testing_budget, 300}, maps_eqc).    
prop_map: ....................................................................................................(x10).....................(x1).Failed! After 312 tests.
[{set,{var,1},{call,maps_eqc,remember,[#Ref<0.0.0.31825>]}},
 {set,{var,2},
      {call,maps_eqc,populate,
            [from_list,
             [{0,-357409446},
              {-619078922,-6867684313},
              {-2767918433,5304970080},
              {-6321590841,-8057627253},
              {817266896,-4287156452},
              {-4565627611,961216376},
              {3,-8561657376},
              {-1,9256097048},
              {1555641736,-8931821908},
              {-5875921415,-6947414667},
              {-429259778,-2124524777},
              {6420317866,3674946634},
              {2798421970,-415308898},
              {1601803015,9988734167},
              {-6161536613,<<>>},
              {-6715467657,-3643751177},
              {-4386233698,-8701549560},
              {-7227624146,-244711632},
              {6222926976,9221102687},
              {8872552364,-196542532},
              {-6907836033,-6697878328},
              {3690431332,9800033512},
              {2116086975,4463657100},
              {-3998619481,-6076544862},
              {-5270699626,4408727563},
              {-9261645925,-9515221568},
              {0.0,8205807873},
              {5504536505,<<>>},
              {-7988077713,#Fun<eqc_gen.131.121384563>},
              {-6217171073,2467591855},
              {-2732123267,638008133},
              {6655205673,-3524843398},
              {-4189478564,-9935156002},
              {2991233992,0.0},
              {-9582322620,2529500344}]]}},
 {set,{var,3},{call,maps_eqc,update,[-6314700126,-4575140077]}},
 {set,{var,4},{call,maps_eqc,keys,[]}},
 {set,{var,5},{call,maps_eqc,remove,[6420317866]}},
 {set,{var,6},{call,maps_eqc,m_get,[0]}},
 {set,{var,7},{call,maps_eqc,merge,[#{}]}},
 {set,{var,8},{call,maps_eqc,merge,[#{-395270753 => 1451291271}]}},
 {set,{var,9},{call,maps_eqc,remove,[3690431332]}},
 {set,{var,10},{call,maps_eqc,put,[7232283392,-7146521291]}},
 {set,{var,11},{call,maps_eqc,size,[]}},
 {set,{var,12},{call,maps_eqc,roundtrip,[]}},
 {set,{var,13},{call,maps_eqc,update,[2991233992,-4030712592]}},
 {set,{var,14},{call,maps_eqc,values,[]}},
 {set,{var,15},{call,maps_eqc,put,[-1881029086,2753119069]}},
 {set,{var,16},{call,maps_eqc,update,[3,-3714942473]}}]

maps_eqc:remember(#Ref<0.0.0.31825>) -> ok
maps_eqc:populate(from_list,
    [{0, -357409446}, {-619078922, -6867684313},
     {-2767918433, 5304970080}, {-6321590841, -8057627253},
     {817266896, -4287156452}, {-4565627611, 961216376},
     {3, -8561657376}, {-1, 9256097048}, {1555641736, -8931821908},
     {-5875921415, -6947414667}, {-429259778, -2124524777},
     {6420317866, 3674946634}, {2798421970, -415308898},
     {1601803015, 9988734167}, {-6161536613, <<>>},
     {-6715467657, -3643751177}, {-4386233698, -8701549560},
     {-7227624146, -244711632}, {6222926976, 9221102687},
     {8872552364, -196542532}, {-6907836033, -6697878328},
     {3690431332, 9800033512}, {2116086975, 4463657100},
     {-3998619481, -6076544862}, {-5270699626, 4408727563},
     {-9261645925, -9515221568}, {0.0, 8205807873},
     {5504536505, <<>>}, {-7988077713, #Fun<eqc_gen.131.121384563>},
     {-6217171073, 2467591855}, {-2732123267, 638008133},
     {6655205673, -3524843398}, {-4189478564, -9935156002},
     {2991233992, 0.0}, {-9582322620, 2529500344}]) ->
  [{-9582322620, 2529500344}, {-9261645925, -9515221568},
   {-7988077713, #Fun<eqc_gen.131.121384563>},
   {-7227624146, -244711632}, {-6907836033, -6697878328},
   {-6715467657, -3643751177}, {-6321590841, -8057627253},
   {-6217171073, 2467591855}, {-6161536613, <<>>},
   {-5875921415, -6947414667}, {-5270699626, 4408727563},
   {-4565627611, 961216376}, {-4386233698, -8701549560},
   {-4189478564, -9935156002}, {-3998619481, -6076544862},
   {-2767918433, 5304970080}, {-2732123267, 638008133},
   {-619078922, -6867684313}, {-429259778, -2124524777},
   {-1, 9256097048}, {0, -357409446}, {0.0, 8205807873},
   {3, -8561657376}, {817266896, -4287156452},
   {1555641736, -8931821908}, {1601803015, 9988734167},
   {2116086975, 4463657100}, {2798421970, -415308898},
   {2991233992, 0.0}, {3690431332, 9800033512}, {5504536505, <<>>},
   {6222926976, 9221102687}, {6420317866, 3674946634},
   {6655205673, -3524843398}, {8872552364, -196542532}]
maps_eqc:update(-6314700126, -4575140077) -> {error, badarg}
maps_eqc:keys() ->
  [-9582322620, -9261645925, -7988077713, -7227624146, -6907836033,
   -6715467657, -6321590841, -6217171073, -6161536613, -5875921415,
   -5270699626, -4565627611, -4386233698, -4189478564, -3998619481,
   -2767918433, -2732123267, -619078922, -429259778, -1, 0, 0.0, 3,
   817266896, 1555641736, 1601803015, 2116086975, 2798421970,
   2991233992, 3690431332, 5504536505, 6222926976, 6420317866,
   6655205673, 8872552364]

Reason:
  common:
    [-9582322620, -9261645925, -7988077713, -7227624146, -6907836033,
     -6715467657, -6321590841, -6217171073, -6161536613, -5875921415,
     -5270699626, -4565627611, -4386233698, -4189478564, -3998619481,
     -2767918433, -2732123267, -619078922, -429259778, -1, 0, 0.0, 3,
     817266896, 1555641736, 1601803015, 2116086975, 2798421970,
     2991233992, 3690431332, 5504536505, 6222926976, 6420317866,
     6655205673, 8872552364] /=
      [-9582322620, -9261645925, -7988077713, -7227624146, -6907836033,
       -6715467657, -6321590841, -6217171073, -6161536613, -5875921415,
       -5270699626, -4565627611, -4386233698, -4189478564, -3998619481,
       -2767918433, -2732123267, -619078922, -429259778, -1, 0.0, 0, 3,
       817266896, 1555641736, 1601803015, 2116086975, 2798421970,
       2991233992, 3690431332, 5504536505, 6222926976, 6420317866,
       6655205673, 8872552364]
Shrinking xxx.x..xx......xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx.x.xxxxxxxxxxxxxxxxxxxxxxxxxxxxxxxx(x10)xxxxxxxxxxxx..xxxxxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxxxx.xxxxxxxxxxxxxxxxxxxxxxxxxxxxx.xxxxxxxxx.xxxx(x100)xxxxxxxxxxxxxxxxxxxxxxxxxxxxx(x10)xxxx(x1)...x(74 times)
[{set,{var,1},
      {call,maps_eqc,populate,
            [from_list,
             [{0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,<<>>},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0,0},
              {0.0,0},
              {0,<<>>},
              {0,#Fun<eqc_gen.131.121384563>},
              {0,0},
              {-1,0},
              {1,0}]]}}]

maps_eqc:populate(from_list,
    [{0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0},
     {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, <<>>},
     {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0}, {0, 0},
     {0, 0}, {0, 0}, {0, 0}, {0.0, 0}, {0, <<>>},
     {0, #Fun<eqc_gen.131.121384563>}, {0, 0}, {-1, 0}, {1, 0}]) ->
  [{-1, 0}, {0, 0}, {0.0, 0}, {1, 0}]

Reason:
  common:
    [{-1, 0}, {0, 0}, {0.0, 0}, {1, 0}] /=
      [{-1, 0}, {0.0, 0}, {0, 0}, {1, 0}]
[prop_map]