anchor.diff:                         {5, []}]),
               gen_w1c(), gen_lww(), gen_dvv_enabled()},
            Defaults ++ Mult ++ DatatypeOrConsistent ++ WriteOnce ++ LastWriteWins ++ DvvEnabled).
  -=======
  -        {Mult, DatatypeOrConsistent, LastWriteWins, DvvEnabled},
  -        {gen_allow_mult(),
  -            frequency([{5, gen_datatype_property()},
  -                       {5, gen_maybe_bad_consistent()},
  -                       {5, []}]),
  -            gen_lww(), gen_dvv_enabled()},
  -         Defaults ++ Mult ++ DatatypeOrConsistent ++ LastWriteWins ++ DvvEnabled).
  ->>>>>>> 2.0
   
   gen_allow_mult() ->
       ?LET(Mult, frequency([{9, bool()}, {1, binary()}]), [{allow_mult, Mult}]).
  
positive.code:     Defaults2 = lists:keydelete(last_write_wins, 1, Defaults1),
      Defaults = lists:keydelete(dvv_enabled, 1, Defaults2),
      ?LET(
  <<<<<<< HEAD
          {Mult, DatatypeOrConsistent, WriteOnce, LastWriteWins, DvvEnabled},
          {
              gen_allow_mult(),
  
negative.code:                            false
                     end
                    )
              end).
  
  valid_dvv_lww({Good, Bad}) ->
  