f(1,aaa,0xbf94c62c) -> <a>
*** Asserting: (call_to_f2 aaa 0xbf94c62c 0x29a) ***
f(2,bbb,0xbf94c628) -> <b>
*** Asserting: (call_to_f2 bbb 0xbf94c628 0x29a) ***
g(aaa,666)
*** Asserting: (call_to_g aaa 0x29a) ***
f(3,ccc,0xbf94c624) -> <c>
*** Asserting: (call_to_f2 ccc 0xbf94c624 0x29a) ***
g(ccc,999)
*** Asserting: (call_to_g ccc 0x3e7) ***
g(aaa,666)
New match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf94c62c>
 (3)  ==> <0x29a>
[FACT] <Fact-6> (1)  ==> <aaa>
 (2)  ==> <0x29a>
Old match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf94c62c>
 (3)  ==> <0x29a>
[FACT] <Fact-3> (1)  ==> <aaa>
 (2)  ==> <0x29a>
*** Asserting: (call_to_g aaa 0x29a) ***
h(aaa,666)
*** Asserting: (call_to_h aaa 0x29a) ***
Matches for Pattern 1
f-1
f-2
f-4
Matches for Pattern 2
 None
Matches for Pattern 3
 None
Partial matches for CEs 1 - 2
f-1,f-6
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-7
443556 <- advice(aaa,0xbf94c62c,666) -> <a>
f(4,aaa,0xbf94c62c) -> <a>
*** Asserting: (call_to_f2 aaa 0xbf94c62c 0x29a) ***
h(aaa,666)
*** Asserting: (call_to_h aaa 0x29a) ***
Matches for Pattern 1
f-1
f-2
f-4
f-8
Matches for Pattern 2
 None
Matches for Pattern 3
 None
Partial matches for CEs 1 - 2
f-1,f-6
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-9
443556 <- advice(aaa,0xbf94c62c,666) -> <a>
g(aaa,666)
New match:
[FACT] <Fact-8> (1)  ==> <aaa>
 (2)  ==> <0xbf94c62c>
 (3)  ==> <0x29a>
[FACT] <Fact-10> (1)  ==> <aaa>
 (2)  ==> <0x29a>
Old match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf94c62c>
 (3)  ==> <0x29a>
[FACT] <Fact-6> (1)  ==> <aaa>
 (2)  ==> <0x29a>
*** Asserting: (call_to_g aaa 0x29a) ***
h(aaa,999)
*** Asserting: (call_to_h aaa 0x3e7) ***
