anchor.diff:      FailFun = fun(LCp, LCps, LDb) ->
   		      keys_fail(LCp, LCps, LDb, Tab, Key, KeyVar)
   	      end,
  -    C = #cp{type=compiled,data=FailFun,next=Next,bs=Bs,vn=Vn},
  -    unify_prove_body(KeyVar, Key, Next, [C|Cps], Bs, Vn, Db).
  +    Cp = #cp{type=compiled,data=FailFun,next=Next,bs=Bs,vn=Vn},
  +    unify_prove_body(KeyVar, Key, Next, [Cp|Cps], Bs, Vn, Db).
   
   keys_fail(#cp{next=Next,bs=Bs,vn=Vn}, Cps, Db, Tab, PrevKey, KeyVar) ->
       case ets:next(Tab, PrevKey) of
  
positive.code: %% Copyright (c) 2008-2013 Robert Virding
  %%
  %% Licensed under the Apache License, Version 2.0 (the "License");
  %% you may not use this file except in compliance with the License.
  
negative.code: ets_var(8) -> '$8';
  ets_var(9) -> '$9';
  ets_var(10) -> '$10';
  ets_var(11) -> '$11';
  ets_var(12) -> '$12';
  ets_var(13) -> '$13';
  ets_var(14) -> '$14';
  ets_var(15) -> '$15';
  ets_var(16) -> '$16'. 
  