anchor.diff:      RetVal = get_return_value({'/',Predicate,ParamCount},PL),
       
       ParamList = [{atom,46,Predicate}] ++ case RetVal of 
  -					     boolean -> make_param_list( ParamCount,46);
  -					     _ -> make_param_list(ParamCount -1, 46)++ [{tuple,47,[{atom,47,'X'}]}]
  +					     none -> make_param_list(ParamCount,46);
  +					     last -> make_param_list(ParamCount -1, 46)++ [{tuple,47,[{atom,47,'X'}]}]
   					 end,
  -							
  -    {clause,46,
  -     [{match,46,
  -       {var,46,'_Prove'},
  -       {tuple,46,
  -        [{atom,46,prove},
  -         {tuple,46,
  -          ParamList
  -         }]}},
  -      {var,46,'_From'},
  -      {var,46,'Erlog'}],
  +    {clause,54,
  +     [{match,54,
  +       {var,54,'Request'},
  +       {tuple,54,
  +	ParamList
  +       }},
  +      {var,54,'_From'},
  +      {var,54,'Erlog'}],
        [],
  -         [{'case',47,
  -           {call,47,
  -            {var,47,'Erlog'},
  -            [{tuple,47,
  -              [{atom,47,prove},
  -               {tuple,47,
  -                ParamList
  -	       }]}]},
  -
  -     [{clause,48,
  -       [{tuple,48,
  -	 [{tuple,48,
  -	   [{atom,48,succeed},
  -                  {cons,48,
  -                   {tuple,48,
  -                    [{atom,48,'X'},{var,48,'RetVal'}]},
  -                   {nil,48}}]},
  -                {var,48,'Erlog1'}]}],
  -             [],
  -             [{tuple,49,
  -               [{atom,49,reply},
  -                {tuple,49,[{atom,49,'ok'},
  -                           {var,49,'RetVal'}]},
  -                {var,49,'Erlog1'}]}]},
  -            {clause,50,
  -             [{atom,50,fail}],
  -             [],
  -             [{tuple,51,
  -               [{atom,51,reply},
  -                {atom,51,fail},
  -                {var,51,'Erlog'}]
  -              }]}]}]}.
  +     [{call,55,
  +       {atom,55,handle_prolog},
  +       [{var,55,'Request'},{var,55,'Erlog'},{atom,55,RetVal}]}
  +     ]}.
   
   
   %%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%%
  
positive.code: 	    Exports = [{Fun, Arity } || {'/', Fun,Arity} <- proplists:get_value('Exports', Res)],
  	    
  	    {Exports,PL@};
  	fail ->
  	   {[], PL@}
      end.
  
  
negative.code:             }]
            }]}]}]}.
  
  
  insert_interface_inner([],_, Acc) ->
      {ok,Acc};
  insert_interface_inner([{function,_, interface,_,_}|Rest], [], Acc) ->
  