anchor.diff:          end,
           {[], [], []},
           lists:zip(Vars, Match)),
  +    case DefL2 of
  +        [] -> Declaration2Actual = [];
  +        _  -> Declaration2Actual = estree:variable_declaration(list_check(DefL2), <<"let">>)
  +    end,
       Internal =  estree:if_statement(
                       assemble_match_calls(MatchL),
                       estree:block_statement(%consequent
                           encapsulate_expressions(
                               list_check(
                                   assemble_sequence(
  -                                    estree:declaration_expression(DefL2, <<"let">>),
  +                                    Declaration2Actual,
                                       parse_node(return, Params, Evaluate)
                                   )
                               )
  
positive.code:     [element(Pos, Tuple) | tup_to_list(Tuple, Pos+1, Size)];
  tup_to_list(_Tuple, _Pos, _Size) -> [].
  
  %rAtomToList([A|Rest]) ->
  %    [rAtomToList(A)|rAtomToList(Rest)];
  %rAtomToList({A}) ->
  
negative.code:     estree:call_expression(
          estree:call_expression(
              estree:member_expression(
                  function_wrap(
                     [],
                     InternalActual
                  ),
                  estree:identifier(<<"bind">>),
                  false),
              [estree:this_expression()]),
  