anchor.diff:  list_shrink(#?DOM{kind={shrinkable_list, ListDom, Len}, empty_ok=EmptyOK}, List) ->
   
       ?assert(length(List) == Len),
  -
  -    SmallerOK = ((EmptyOK and (Len>0)) or (len>1)),
  +    SmallerOK = ((EmptyOK and (Len>0)) or (Len>1)),
   
       case SmallerOK and (random:uniform(5) == 1) of
   	true ->
  
positive.code:     end.
  
  shorter_list(ListDom,List,Len,EmptyOK) ->
      RemIdx = random:uniform(Len),
      shrinkable_list( without(RemIdx, ListDom), without(RemIdx, List), Len-1, EmptyOK).
      
  
  %%
  %% Generator for tuples
  
negative.code: without(RemIdx,Tup) when is_tuple(Tup) ->
      list_to_tuple(without(RemIdx, tuple_to_list(Tup))).
  
  %% remove the RemIdx1 through RemIdx2-1'th element of List [1-indexed]
  without(RemIdx1, RemIdx2, List) when is_list(List) ->
      {First,Tail}   = lists:split(RemIdx1-1,List),
      {_Middle,Rest} = lists:split(RemIdx2-RemIdx1,Tail),
      First ++ Rest.
  
  repeat(_,0) ->
      ok;
  