anchor.diff:      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};
  +      {V2State, [every_i]};
       {ok, failed} ->
         {V2State0, failed_list};
       {ok, {Part,U}} when U =/= [] ->
  
positive.code: var_occurs_everywhere(V, Masks, NotFailed) ->
    ordsets:is_subset(NotFailed, get_mask(V, Masks)).
  
  -dialyzer({no_improper_lists, [v2_solve_disj/10, v2_solve_conj/12]}).
  
  v2_solve_disj([I|Is], [C|Cs], I, Map0, V2State0, UL, MapL, Eval, Uneval,
                Failed0) ->
    Id = C#constraint_list.id,
  
negative.code:       v2_solve_conj(NewFlags, Cs, 1, Map, Conj, IsFlat, V2State,
                      [], [], [U|VarsUp], Map, NewFlags)
    end;
  v2_solve_conj([every_i], Cs, I, Map, Conj, IsFlat, V2State, UL, NewFs, VarsUp,
                LastMap, LastFlags) ->
    NewIs = case Cs of
              [] -> [];
              _ -> [I, every_i]
            end,
    v2_solve_conj(NewIs, Cs, I, Map, Conj, IsFlat, V2State, UL, NewFs, VarsUp,
                  LastMap, LastFlags);
  