anchor.diff:  		  end, CallGraph).
       
   
  -
   start_slice_env_process() ->    
       case erlang:whereis(sliced_funs) of 
   	undefined -> ok;
  
positive.code:     
  
  
  
  backward_slice(Expr, FunDef) ->
      FunName = refac_syntax:function_name(FunDef),
      {S, E} = refac_util:get_range(Expr),
  
negative.code:     Body = refac_syntax:clause_body(hd(refac_syntax:function_clauses(NewFun1))),
      Body1 = rm_unused_exprs(Body),  %%Qn: how about the guard expression?
      NewFun2 = refac_syntax:function(FunName, [refac_syntax:clause(Patterns, none, Body1)]),
      %%io:format(refac_prettypr:format(NewFun)),
      NewFun2.
      
  
  