anchor.diff:  		     function ->
   			 F = fun(T, S) ->
   				     case is_spawn_expr(T) of 
  -					 true -> [HandleSpecialFuns(T)|S];
  +					 true -> HandleSpecialFuns(T)++S;
   					 _ -> S
   				     end
   			     end,
  
positive.code:       _ -> false
      end.
  
  
  
  %% Qn: is it possible to get more static infomration? How to balance the usages of staic and dynamic info?
  %% How do we know the existing trace info is uptodate?
  
negative.code: 
  
  
  			  
  collect_fun_apps(Expr, {ModName, Ln}) ->
      Fun = fun (T, S) ->
  