anchor.diff:  make_arity_qualifier(_FunName, _Arity) ->
       erlang:error("badarg to function refac_api:make_arity_qualifier/2.").
   
  -
      
   check_rules(Rules) when is_list(Rules)->
       AllRules=lists:all(fun(R) ->
  
positive.code: -spec start_end_loc([syntaxTree()]|syntaxTree()) ->{pos(), pos()}.
  start_end_loc(Tree) ->
      wrangler_misc:start_end_loc(Tree).
  
negative.code:     wrangler_generalised_unification:expr_match(Temp, Node).
  
  %%@private
  match({meta_apply, TCs}, Node, Cond) ->
      %% wrangler_io:format("Temp:\n~p\n", [TCs]),
      match_meta_apply_temp(TCs, Node, Cond);
  match(Temp, Node, Cond) ->
      wrangler_generalised_unification:expr_match(
        Temp, Node, Cond).
  
  
  match_meta_apply_temp(MetaApplyTemp, Node, Cond) ->
      case MetaApplyTemp of
          [] -> false;
          [{T, C}|TCs] ->
              case wrangler_generalised_unification:expr_match(T, Node, Cond) of
                  {true, Subst} ->
                      case C(Node) of
                          true ->
                              {true, Subst}; 
                          false ->
                              match_meta_apply_temp(TCs, Node, Cond)
                      end;
                  false ->
                      match_meta_apply_temp(TCs, Node, Cond)
              end
      end.
  
  
  try_expr_match([], _Node) ->false;
  try_expr_match([{rule,Fun,BeforeExpr}|T], Node) 
  