anchor.diff:                 Arity::pos_integer(), Sequence::[term()]) -> ok.
   sequence(Mod, Func, Arity, Sequence)
     when is_atom(Mod), is_atom(Func), is_integer(Arity), Arity >= 0 ->
  -    call(Mod, {sequence, Func, Arity, Sequence});
  +    Clause = {arity_2_matcher(Arity), ret_spec_2_answer(seq(Sequence))},
  +    call(Mod, {expect, {Func, Arity}, [Clause]});
   sequence(Mod, Func, Arity, Sequence) when is_list(Mod) ->
       lists:foreach(fun(M) -> sequence(M, Func, Arity, Sequence) end, Mod),
       ok.
  
positive.code:            Arity::pos_integer(), Loop::[term()]) -> ok.
  loop(Mod, Func, Arity, Loop)
    when is_atom(Mod), is_atom(Func), is_integer(Arity), Arity >= 0 ->
      call(Mod, {loop, Func, Arity, Loop});
  loop(Mod, Func, Arity, Loop) when is_list(Mod) ->
      lists:foreach(fun(M) -> loop(M, Func, Arity, Loop) end, Mod),
      ok.
  
negative.code: handle_call({expect, FuncAri, Clauses}, _From, S) ->
      NewExpects = store_expect(S#state.mod, FuncAri,
                                Clauses,
                                S#state.expects),
      {reply, ok, S#state{expects = NewExpects}};
  handle_call({delete, Func, Arity}, _From, S) ->
  