anchor.diff:                           Binds1 = [{'_This@', Node}|Binds0],
                            try Cond(Binds1) of
                                true ->
  -                                 {ReturnFun([{'_File@', FileName}|Binds1]), true};
  +                                 {[ReturnFun([{'_File@', FileName}|Binds1])|Acc], true};
                                false ->
  -                                 {[], true}; %% pretend to be sucessful;
  +                                 {Acc, true}; %% pretend to be sucessful;
                                _ ->
                                    throw({error, "Condition checking returns a non-boolean value."})
                            catch
  
positive.code:         _ ->
              [[E]]       % a single expression
      end.
  
negative.code:     end.
  
  stop_td_collect(FileName, AST, {Template, Cond, ReturnFun}, Type) ->
      Fun= fun(Node, Acc) ->
                   Res = generalised_unification:expr_match(Template, Node),
                   case Res of
                       {true, Binds} ->
  