anchor.diff:      {reverse(Vs),Bs}.
   
   eval_op(Op, Arg1, Arg2, Bs, Ef, RBs) ->
  -    do_apply({erlang,Op}, [Arg1,Arg2], Bs, Ef, RBs).
  +    do_apply(erlang, Op, [Arg1,Arg2], Bs, Ef, RBs).
   
   eval_op(Op, Arg, Bs, Ef, RBs) ->
  -    do_apply({erlang,Op}, [Arg], Bs, Ef, RBs).
  +    do_apply(erlang, Op, [Arg], Bs, Ef, RBs).
   
   %% if_clauses(Clauses, Bindings, LocalFuncHandler, ExtFuncHandler, RBs)
   
  
positive.code:             ret_expr(F(Func, As), Bs0, RBs)
      end.
  
  %% eval_lc(Expr, [Qualifier], Bindings, LocalFunctionHandler, 
  %%         ExternalFuncHandler, RetBindings) ->
  %%	{value,Value,Bindings} | Value
  
negative.code: 
  guard_test({call,L,{atom,Ln,F},As0}, Bs0, Lf, Ef) ->
      TT = type_test(F),
      G = {call,L,{atom,Ln,TT},As0},
      try {value,true,_} = expr(G, Bs0, Lf, Ef, none)
      catch error:_ -> {value,false,Bs0} end;
  guard_test({call,L,{remote,_Lr,{atom,_Lm,erlang},{atom,_Lf,_F}=T},As0}, 
             Bs0, Lf, Ef) ->
      guard_test({call,L,T,As0}, Bs0, Lf, Ef);
  