anchor.diff:                             erl_syntax:tuple([erl_syntax:atom(call),
   					     erl_syntax:variable("_"),
   					     erl_syntax:abstract(Fun),
  -					     erl_syntax:list([erl_syntax:variable("_") || _<-lists:seq(1,Args)])])],[],
  +					     erl_syntax:list([erl_syntax:variable("_") || _<-lists:seq(1,Args + 1)])])],[],
                             [erl_syntax:atom(true) ]) ||
           {_Mod,Fun,Args} <- Calls ])] ++
     % initial_state_data
  
positive.code:   [] ++
    % local functions
    [ begin
        Vars = [erl_syntax:variable(lists:concat(["X",I])) || I<-lists:seq(1,Arity)],
        erl_syntax:function(erl_syntax:atom(Fun),
                            [ erl_syntax:clause(Vars,[],
                                                [erl_syntax:catch_expr(
  
negative.code:                       erl_syntax:list(mergeargs(cart(Argss))),
                      [{To,eqccall(Mod,Fun,MergeArgs)}|Trs];
                     ({{To,Mod,Fun},[Args]},Trs) ->
                      [{To,eqccall(Mod,Fun,add_state(map_abstract(Args)))}|Trs]
                  end,[],MergedCalls),
    [mkfunc(From,Trans)|trans_gen(Rest)].
  
  add_state(List) -> erl_syntax:list(erl_syntax:list_elements(List) ++ [erl_syntax:variable("State")]).
  
  cart([]) ->
    [];
  