anchor.diff:  
   %% @doc Format an exception thrown by this module
   -spec format_exception(sin_exceptions:exception()) ->
  -    string().
  +                              string().
  +format_exception(?SIN_EXEP_UNPARSE(_, {failed, {possible_culprit, SpecList1}})) ->
  +    ["Unable to resolve compile time dependencies, probably do "
  +     "to the following constraints:~n",
  +     lists:map(fun({AppName, LimitSet, Sources}) ->
  +                       io_lib:format(" constraint on ~p with constraints ~p "
  +                                     "originating from these application(s) ~p",
  +                                     [AppName, sets:to_list(LimitSet),
  +                                      sets:to_list(Sources)]);
  +                  (AppName) when is_atom(AppName) ->
  +                       [" application", erlang:atom_to_list(AppName), " in the project "]
  +               end, SpecList1)];
   format_exception(Exception) ->
       sin_exceptions:format_exception(Exception).
   
  
positive.code:         case sin_dep_solver:all_deps(SolverState0,
                                       CompiletimeApps1,
                                       CompileSpecs) of
              Error1 = {failed, {possible_culprit, SpecList1}} ->
              ec_talk:say("Unable to resolve compile time dependencies, probably do "
                           "to the following constraints:"),
              lists:foreach(fun({AppName, LimitSet, Sources}) ->
                                    ec_talk:say(" constraint on ~p with constraints ~p "
                                                 "originating from these application(s) ~p",
                                                 [AppName, sets:to_list(LimitSet),
                                                  sets:to_list(Sources)]);
                               (AppName) when is_atom(AppName) ->
                                    ec_talk:say(" application ~p in the project ",
                                                 [AppName])
  
                            end, SpecList1),
              ?SIN_RAISE(State0, Error1);
          {_, Deps1} ->
              lists:filter(fun({excluded, _}) ->
                                   false;
                              (_) ->
                                   true
                           end, Deps1)
          end,
      {SolverState0, CompiletimeDeps0}.
  
  
negative.code:                          end, Apps0),
      DefaultSpecs =
          lists:map(fun(AppName) ->
                            case sin_state:get_value({apps, AppName, vsn},
                                                     State0) of
                                undefined ->
                                    AppName;
                                Vsn ->
                                    {AppName, Vsn}
                            end
                    end, Apps1),
      {Apps1, DefaultSpecs ++ Constraints}.
  