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:             case Rs of 
                  [] ->
                      [{true, E}||{true, E}<-R];
                  _ ->
                      [{true, E1++E2}||{true,E1}<-R, 
                                       {true,E2}<-zip_unification_results(Rs)]
  
negative.code:                             [{true, []}];
                         true -> [false]
                      end;
                  false -> 
                      case is_object_variable(Exp1) of 
                          true when Exp1Name==Exp2Name->
                              [{true, []}];
                          true ->
                              [false];
                          false ->
                              [{true, [{Exp1, Exp2}]}]
                      end
  	    end;
  	atom ->
              Exp1Val = wrangler_syntax:atom_value(Exp1),
  