anchor.diff:  
   basic_test_() ->
       {foreach,fun init_per_testcase/0, fun end_per_testcase/1,
  -     [fun() ->
  +     [% Test rule with 'connected-by-var' fact patterns
  +      fun() ->
                 check_victim_alive(),
                 
                 % Register self as a receiver of 'victim's messages
  
positive.code:               
                notify({'-', {g1, g1, g1, g1} }),
                ?assertThrow(timeout, receive_result())
        end]}.
  
  
negative.code: handle_pattern( 
       [{_A,has,_B},
        {_B,has,_C},
        {_C,is_a,dog}]=P, 
       #assert{}, #state{reply_to=ReplyPid}=_State) ->
      ReplyPid ! P,
      noop;
  handle_pattern( 
       [{_A, on, _B},
        {_B, on, _C},
        {_D, near, _E}]=P, 
       #assert{}, #state{reply_to=ReplyPid}=_State) ->
      ReplyPid ! P,
      noop;
  handle_pattern(
      P, #retire{}, #state{reply_to=ReplyPid}=_State) -> 
      ReplyPid ! {retire, P},
      noop. 
  
  