anchor.diff:  to_dets(Plt, Dets) ->
       file:delete(Dets),
       MinSize = ets:info(Plt, size),
  +    DetsName = list_to_atom(Dets),
       {ok, Dets} = dets:open_file(Dets, [{min_no_slots, MinSize}]),
  -    ok = dets:from_ets(Dets, Plt),
  -    ok = dets:sync(Dets),
  -    ok = dets:close(Dets).
  -
  +    ok = dets:from_ets(DetsName, Plt),
  +    ok = dets:sync(DetsName),
  +    ok = dets:close(DetsName).
   
   build_side_effect_tab([Scc | Left], Side_Effect_Tab, OtherTab) ->
       R = side_effect_scc(Scc, Side_Effect_Tab, OtherTab),
  
positive.code: 		    LocalPlt = from_dets(local_side_effect_plt, LocalSideEffectFile),
  		    Res = check_side_effect(Node, LibPlt, LocalPlt),
  		    dets:close(LibSideEffectFile),
  		    dets:close(LocalSideEffectFile),
  		    ets:delete(LocalPlt),
  		    ets:delete(LibPlt),
  		    Res
  
negative.code: 
  -spec(has_side_effect(File::filename(), Node::syntaxTree(), SearchPaths::[dir()])-> true|false|unknown).
  has_side_effect(File, Node, SearchPaths) ->
      LibSideEffectFile = list_to_atom(filename:join(?WRANGLER_DIR, "plt/side_effect_plt")),
      LibPlt = from_dets(lib_side_effect_plt, LibSideEffectFile),
      Res = check_side_effect(Node, LibPlt, none), 
      case Res of 
  