anchor.diff:  add_mask_to_flags(Flags, [_|M], _I, L) ->
     {umerge_mask(Flags, M), lists:reverse(L)}.
   
  -umerge_mask(every_i, _F) ->
  -  every_i;
  +umerge_mask([every_i]=Is, _F) ->
  +  Is;
   umerge_mask(Is, F) ->
     lists:umerge(Is, F).
   
  
positive.code:   end;
  v2_solve_disj([], [], _I, _Map, V2State, UL, MapL, Eval, Uneval, Failed) ->
    {ok, V2State, lists:reverse(Eval), UL, MapL, lists:reverse(Uneval), Failed};
  v2_solve_disj(every_i, Cs, I, Map, V2State, UL, MapL, Eval, Uneval, Failed) ->
    NewIs = case Cs of
              [] -> [];
              _ -> [I|every_i]
            end,
    v2_solve_disj(NewIs, Cs, I, Map, V2State, UL, MapL, Eval, Uneval, Failed);
  v2_solve_disj(Is, [C|Cs], I, Map, V2State, UL, MapL, Eval, Uneval0, Failed) ->
  
negative.code:     error ->
        ?debug("get_flags Id=~w Flags=all ~w\n", [Id, length(Cs)]),
        V2State = V2State0#v2_state{constr_data = maps:put(Id, {[],[]}, ConData)},
        {V2State, [every_i]};
      {ok, failed} ->
        {V2State0, failed_list};
      {ok, {Part,U}} when U =/= [] ->
  