anchor.diff:            false
       end.
   
  -%% is_meta_variable(Var) ->
  -%%     case refac_syntax:type(Var) of
  -%%         variable ->
  -%%             VarName = atom_to_list(refac_syntax:variable_name(Var)),
  -%%             lists:prefix("@", lists:reverse(VarName));
  -%%         _ ->
  -%%           false
  -%%     end.
  -
   is_meta_atom(Node) ->
       case wrangler_syntax:type(Node) of
           atom ->
  
positive.code:                                  false ->
                                       [];
                                   _ ->
                                       throw({error, lists:flatten(io_lib:format
                                                                     ("Condition checking of rule/collector "
                                                                      "returns non-boolean value. Template being matched: ~s.",
                                                                      [wrangler_prettypr:format(Exp1)]))})
                               end
                       end||{true,Subst}<-Res],
      case lists:append(PossibleMatches) of
  
negative.code:             case Rs of 
                  [] ->
                      [{true, E}||{true, E}<-R];
                  _  when R==[]->
                      zip_unification_results(Rs);
                  _ ->
                      [{true, E1++E2}||{true,E1}<-R, 
                                       {true,E2}<-zip_unification_results(Rs)]
  