anchor.diff:                                [{clause,26,[],[],[{tuple,27,[{atom,27,ok},AbstractDB]}]}]}),
       {ok, AST1}. 
   
  -make_handler_clauses(AST, Exports) ->
  -    NewClauses = [base_fn_clause(Predicate,Arity) ||{Predicate, Arity} <- Exports],
  +make_handler_clauses(AST, Exports,PL) ->
  +    NewClauses = [base_fn_clause(Predicate, Arity, PL) ||{Predicate, Arity} <- Exports],
       AST1       = lists:keyreplace(handle_call,3, AST,
                                     {function, 39, handle_call, 3,
                                      NewClauses}),
  
positive.code:     {ok, AST@}           = load_db_state(AST@, PL@),
      {ok, AST@}           = make_interface_functions(AST@, Exports),
      {ok, AST@}           = add_exports(AST@, Exports),
      {ok, AST@}           = make_handler_clauses(AST@,Exports),
      case compile:forms(AST@, [from_ast,debug_info,return]) of
          {ok, Module, Binary,Errors} ->
              file:write_file("errors", io_lib:format("% -*- Erlang -*- ~n~n~p~n",[Errors])),
  
negative.code: 
  find_exports(PL) ->
      PL@ = PL,
      case PL@({prove, {find_exports, {'Exports'}}}) of 
  	{{succeed, Res},PL@} ->
  	    Exports = [{Fun, Arity } || {'/', Fun,Arity} <- proplists:get_value('Exports', Res)],
  