anchor.diff:                attributes = Options}
             }
           end,
  -  map_parse_func(Fun, Body, gen_fsm);
  +  map_parse_func(Fun, FnName, Body, gen_fsm);
   parse_function_clause({clause, _Line, [_Call, Event | Args], Guards, Body},
                         FnName, Options, gen_statem) ->
     Fun = fun({ok, NextState, _}) ->
  
positive.code:               attributes = [RetType|Options]}
            }
          end,
    map_parse_func(Fun, Body, gen_fsm);
  parse_function_clause({clause, _Line, [Event | Args], Guards, Body},
                        FnName, Options, gen_fsm) ->
    Fun = fun({ok, NextState, _}) ->
  
negative.code:               attributes = Options}
            }
          end,
    map_parse_func(Fun, FnName, Body, gen_statem).
  
  %process_body({ok. PrevState, NextState, }) ->
  
  map_parse_func(Fun, State, Body, Type) ->
    case eval_return(State, parse_body(Body), Type, []) of
      {error, _Reason} ->
        {error, bad_transition};
      List ->
  