anchor.diff:  		case lookup(LibPlt, {M, FunName, Arity}) of
   		  {value, S} -> S;
   		  _ ->
  -		      case lookup(LocalPlt, {M, FunName, Arity}) of
  -			{value, S} -> S;
  -			_ -> unknown
  -		      end
  +			case LocalPlt of 
  +			    none -> unknown;
  +			    _ ->case lookup(LocalPlt, {M, FunName, Arity}) of
  +				    {value, S} -> S;
  +				    _ -> unknown
  +				end
  +			end			
   		end;
  -	    _ -> unknown
  +	      _ -> unknown
   	  end;
  -      _ ->
  -	  case refac_syntax:subtrees(Node) of
  -	    [] -> false;
  -	    Ts ->
  -		Res = lists:flatten([[check_side_effect(T, LibPlt, LocalPlt) || T <- G] || G <- Ts]),
  -		case lists:member(true, Res) of
  -		  true -> true;
  -		  false ->
  -		      case lists:member(unknown, Res) of
  -			true -> unknown;
  -			_ -> false
  -		      end
  -		end
  -	  end
  +	_ ->
  +	    case refac_syntax:subtrees(Node) of
  +		[] -> false;
  +		Ts ->
  +		    Res = lists:flatten([[check_side_effect(T, LibPlt, LocalPlt) || T <- G] || G <- Ts]),
  +		    case lists:member(true, Res) of
  +			true -> true;
  +			false ->
  +			    case lists:member(unknown, Res) of
  +				true -> unknown;
  +				_ -> false
  +			    end
  +		    end
  +	    end
       end.
   
   lookup(Plt, {M, F, A}) ->
  
positive.code: 	 is_exported/2, inscope_funs/1,
           once_tdTU/3, stop_tdTP/3, full_buTP/3,
           pos_to_fun_name/2, pos_to_fun_def/2,pos_to_var_name/2,
           pos_to_expr/3, expr_to_fun/2,get_range/1, get_var_exports/1, 
  	 get_env_vars/1, get_bound_vars/1, get_free_vars/1, 
           get_client_files/2, expand_files/2, get_modules_by_file/1,
           reset_attrs/1, update_ann/2,
           parse_annotate_file/3,tokenize/1, write_refactored_files/1,
           build_lib_side_effect_tab/1, build_local_side_effect_tab/2,
  	 build_call_graph/1, has_side_effect/3,
           callback_funs/1,auto_imported_bifs/0]).
  
  -export([analyze_free_vars/1, build_call_graph/2]).
  
  -export([update_var_define_locations/1]).
  
  
negative.code: %%  representation is a subset of the <code>syntaxTree()</code> representation.
  %% 
  %%  For the data structures used by the AST nodes, please refer to <a href="refac_syntax.html"> refac_syntax </a>.
  parse_annotate_file(FName, ByPassPreP, SearchPaths) ->
      R = case ByPassPreP of
  	  true -> refac_epp_dodger:parse_file(FName);
  