anchor.diff:                                 erl_syntax:atom(FN),
                                  erl_syntax:integer(Arity))
                        end, Decoders ++ Encoders))]),
  -    ResultAST = erl_syntax:form_list([Module, CompilerOpts, Exports|NewAST]),
  +    ResultAST = erl_syntax:form_list([Module, Exports|NewAST]),
       DirName = filename:dirname(Path),
       case file:write_file(
              filename:join([DirName, ModName ++ ".erl"]),
  
positive.code:                       lists:map(
                          fun(#spec{enc_f = F,
                                    result = Res}) ->
                                  ResWithVars = replace_labels_with_vars(Res),
                                  erl_syntax:clause(
                                    [erl_syntax:match_expr(
                                       ResWithVars,
  
negative.code:                       T
                end
        end, abstract(Term)).
  
  have_label(Term, Label) ->
      erl_syntax_lib:fold(
        fun(_, true) ->
                true;
           (T, false) ->
                try
                    L = erl_syntax:atom_value(T),
                    true = is_label(L),
                    Label == L
                catch _:_ ->
                        false
                end
        end, false, abstract(Term)).
  
  %%====================================================================
  %% Auxiliary functions
  