anchor.diff:      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(),
  
positive.code:                                      has_w1c(New), valid_w1c(New),
                                       has_consistent(New), valid_consistent(New)])
                     end,
  <<<<<<< HEAD
                     collect(with_title("{has_datatype, valid_datatype, allow_mult, has_w1c, valid_w1c, has_consistent, valid_consistent, lww, dvv_enabled}"),
                             {has_datatype(New), valid_datatype(New), allow_mult(New), has_w1c(New), valid_w1c(New), has_consistent(New), valid_consistent(New), last_write_wins(New), dvv_enabled(New)},
  =======
                     collect(with_title("{has_datatype, valid_datatype, allow_mult, has_consistent, valid_consistent, lww, dvv_enabled}"),
                             {has_datatype(New), valid_datatype(New), allow_mult(New), has_consistent(New), valid_consistent(New), last_write_wins(New), dvv_enabled(New)},
  >>>>>>> 2.0
                             only_create_if_valid(Result, New)))
              end).
  
  
negative.code:                 {Unvalidated, Valid, Errors},
                  InvalidPropsSpec).
  
  %% Validate properties after they have all been individually validated, merged,
  %% and resolved to their final values. This allows for identifying invalid
  %% combinations of properties, such as `last_write_wins=true' and
  