anchor.diff:  		     %% Check if the op is not in the previous snapshot and should be included in the new one
   		     case (is_op_in_snapshot(TxId, Op, OpCom, OpSS, MinSnapshotTime, SnapshotCommitTime, LastOpCt)) of
   			 {true,_,NewOpCt} ->
  -			     %% Include the new op
  +			     %% Include the new op because it has a timestamp bigger than the snapshot being generated
   			     {ok, [Op | OpList], NewOpCt, false, true, FirstHole};			     
   			 {false,false,_} ->
   			     %% Dont include the op
  
positive.code: 			    _ ->
  				PrevTime
  			end,
      	    {Result,NewTime} = dict:fold(fun(DcIdOp,TimeOp,{Acc,PrevTime3}) ->
  						 Res1 = case dict:find(DcIdOp,SnapshotTime) of
  							    {ok, TimeSS} ->
  								case TimeSS < TimeOp of
  								    true ->
  									false;
  								    false ->
  									Acc
  								end;
  							    error ->
  								lager:error("Could not find DC in SS ~p", [SnapshotTime]),
  								false
  							end,
  						 Res2 = dict:update(DcIdOp,fun(Val) ->
  										   case TimeOp > Val of
  										       true ->
  											   TimeOp;
  										       false ->
  											   Val
  										   end
  									   end,TimeOp,PrevTime3),
  						 {Res1,Res2}
  					 end, {true,PrevTime2}, OpSSCommit),
  	    case Result of
  		true ->
  		    {true,false,NewTime};
  
negative.code: %%      NewSS: Boolean that is true if any operations should be applied, fale otherwise.  Should start as false.
  %%      Output: A tuple with 4 elements or an error.  The first element of the tuple is the atom ok.
  %%      The second element is the list of operations that should be applied to the snapshot.
  %%      The third element 1 minus the number of the operation with the smallest id not included in the snapshot.
  %%      The fourth element is the snapshot time of the last operation in the list.
  %%      The fifth element is a boolean, true if a new snapshot should be generated, false otherwise.
  -spec materialize_intern(type(), 
  			 [clocksi_payload()],
  			 integer(),
  			 integer(),
  			 snapshot_time() | ignore,
  			 snapshot_time(),
  			 [{integer(),clocksi_payload()}],
  			 txid() | ignore, 
  			 snapshot_time() | ignore,
  			 boolean()) ->
  