anchor.diff:          {value, {category, guard_expression}} -> 
   	    throw({error, "Generalisation over a guard expression is not supported."});
   	{value, {category, application_op}} -> 
  -	    GuardRanges=[refac_util:get_range(G) || 
  -			    C <-Cs, 
  -			    G <-[refac_syntax:clause_guard(C)], 
  -			    G=/=none],
  +	    GuardRanges=collect_guard_ranges(Fun),
   	    {Start, End} = refac_util:get_range(Exp),
   	    case [{S,E}||{S, E}<- GuardRanges, S=<Start, End=<E] of
   		[] -> ok;
  
positive.code: 				 NewAnn = lists:keydelete(Key, 1, Ann),
  				 refac_syntax:set_ann(T, NewAnn)
  			 end, Node, {}).
  
negative.code:     {ok, {AnnAST, Info}} = refac_util:parse_annotate_file(FileName, true, SearchPaths, TabWidth),
      {ok, ModName} = get_module_name(Info),
      case refac_util:pos_to_expr(AnnAST, Start, End) of
        {ok, Exp} -> 
  	    Exp;
        {error, _} -> throw({error, "You have not selected an expression, "
  				  "or the function containing the expression does not parse."}),
  		    Exp = none
      end,
      case refac_util:expr_to_fun(AnnAST, Exp) of
        {ok, Fun} -> 
  	    Fun;
        {error, _} -> throw({error, "You have not selected an expression within a function."}),
  		    Fun = none
      end,
  