anchor.diff:  handle_info(_Info, StateName, State) ->
       {next_state, StateName, State}.
   
  -terminate(_Reason, _StateName, _State) ->
  +terminate(_Reason, _StateName, #state{tref=Tref}) ->
  +    timer:cancel(Tref),
       ok.
   
   code_change(_OldVsn, StateName, State, _Extra) ->
  
positive.code: handle_sync_event(_Event, _From, StateName, State) ->
      {reply, ignored, StateName, State}.
  
  handle_info({'EXIT', _Pid, normal}, StateName, State) ->
      {next_state, StateName, State};
  handle_info({'EXIT', _Pid, Reason}, _StateName, #state{flow_id=FlowId, client=Client}=State) ->
  
negative.code: -record(state, {flow_id,
                  fsms,
                  client,
                  flow_timeout,
                  tref,
                  results=[]}).
  
  %% @doc Add inputs to the flow. Inputs will be sent to the
  