anchor.diff:          {function, _, FnName, 2, Clauses} ->
             %io:format("CLAUSES ~w for ASYNC FUNCTION ~w~n", [Clauses, FnName]),
              case parse_function(Clauses, FnName, [async], gen_fsm) of
  -             {error, _Reason} ->
  +             {error, Reason} ->
                  {OldNodes, OldEdges, OldAllStates};
                NewEdges ->
                 {[FnName|OldNodes], OldEdges ++ NewEdges, OldAllStates}
  
positive.code: parse_statement({tuple, Line, Elems}) ->
    {tuple, Line, Elems};
  parse_statement(S={'case', Line, Op, Clauses}) ->
    io:format("Nick wants: ~w~n", [{'case', Line, Op, Clauses}]),
    lists:map(fun(Index) ->
      parse_statement(element(Index, S))
              end, lists:seq(1, size(S)));
  
negative.code:   %       io:format(">>> ~p~n", [E])
    %   end, FlatEdges),
  
    case lists:all(fun (El) -> {error, bad_transition} == El end, Edges) of
      false ->
        FlatEdges;
      true ->
  