Maps R19 pecularity :)

gistfile1.txt

Shrinking x..xxxxxxx.x..xx.x...x...x...xxxxxxxxxx.xxxxxxxxxxxx(16 times)
{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
         146342573201743,66545743623497]],
       [],[],"19"}
[{model,maps_eqc},
 {init,{state,[[114329998292617,169767086124435,150891843982850,4522814646874,
                146342573201743,66545743623497]],
              [],[],"19"}},
 {set,{var,1},{call,maps_eqc,put,[4.0,0]}},
 {set,{var,2},{call,maps_eqc,take,[4]}},
 {set,{var,3},{call,maps_eqc,extract,[]}}]

maps_eqc:put(4.0, 0) -> #{4.0 => 0}
maps_eqc:take(4) -> {error, {badmatch, error}}
maps_eqc:extract() -> #{4.0 => 0}

Reason:
  Post-condition failed:
  common: #{4.0 => 0} /= #{}
false