anchor.diff:  
   order_fun_constraints([#constraint_ref{id = Id}|Tail], State) ->
     Cs = state__get_cs(Id, State),
  -  {[NewCs], State1} = order_fun_constraints([Cs], [], [], State),
  +  {[Cs1], State1} = order_fun_constraints([Cs], [], [], State),
  +  NewCs = Cs1#constraint_list{deps = Cs#constraint_list.deps},
     NewState = state__store_constrs(Id, NewCs, State1),
     order_fun_constraints(Tail, NewState);
   order_fun_constraints([], State) ->
  
positive.code:               M <- lists:usort([M || {M, _, _} <- SCC])],
    State2 = traverse_scc(SCC, CServer, DefSet, ModRecs, State1),
    State3 = state__finalize(State2),
    erlang:garbage_collect(),
    Funs = state__scc(State3),
    pp_constrs_scc(Funs, State3),
    constraints_to_dot_scc(Funs, State3),
  
negative.code: -record(constraint_list, {type :: 'conj' | 'disj',
  			  list :: [constr()],
                            deps :: deps(),
                            masks ::  #{dep() => mask()} | 'undefined',
  			  id   :: {'list', dep()} | 'undefined'}).
  
  -type constraint_list() :: #constraint_list{}.
  