anchor.diff:  %%-----------------------------------------------------------------------
   %% %CopyrightBegin%
   %%
  -%% Copyright Ericsson AB 2006-2016. All Rights Reserved.
  +%% Copyright Ericsson AB 2006-2017. All Rights Reserved.
   %%
   %% Licensed under the Apache License, Version 2.0 (the "License");
   %% you may not use this file except in compliance with the License.
  
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(Is, [C|Cs], I, Map, V2State, UL, MapL, Eval, Uneval0, Failed) ->
    Uneval = [{I,C#constraint_list.id} ||
               not is_failed_list(C, V2State)] ++ Uneval0,
  
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 =/= [] ->
  