f(1,aaa,0xbf85e4bc) -> <a>
*** Asserting: (call_to_f aaa 0xbf85e4bc) ***
f(2,bbb,0xbf85e4b8) -> <b>
*** Asserting: (call_to_f bbb 0xbf85e4b8) ***
g(aaa,666)
*** Asserting: (call_to_g aaa 0x29a) ***
f(3,ccc,0xbf85e4b4) -> <c>
*** Asserting: (call_to_f ccc 0xbf85e4b4) ***
g(ccc,999)
New match:
[FACT] <Fact-4> (1)  ==> <ccc>
 (2)  ==> <0xbf85e4b4>
[FACT] <Fact-5> (1)  ==> <ccc>
 (2)  ==> <0x3e7>
Old match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf85e4bc>
[FACT] <Fact-3> (1)  ==> <aaa>
 (2)  ==> <0x29a>
*** Asserting: (call_to_g ccc 0x3e7) ***
g(aaa,666)
New match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf85e4bc>
[FACT] <Fact-6> (1)  ==> <aaa>
 (2)  ==> <0x29a>
Old match:
[FACT] <Fact-4> (1)  ==> <ccc>
 (2)  ==> <0xbf85e4b4>
[FACT] <Fact-5> (1)  ==> <ccc>
 (2)  ==> <0x3e7>
Old match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf85e4bc>
[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
f-4,f-5
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-7
advice(aaa,0xbf85e4bc,666) -> <a>
f(4,aaa,0xbf85e4bc) -> <a>
*** Asserting: (call_to_f aaa 0xbf85e4bc) ***
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
f-4,f-5
Partial matches for CEs 1 - 3
 None
Activations
f-1,f-6,f-9
advice(aaa,0xbf85e4bc,666) -> <a>
g(aaa,666)
New match:
[FACT] <Fact-8> (1)  ==> <aaa>
 (2)  ==> <0xbf85e4bc>
[FACT] <Fact-10> (1)  ==> <aaa>
 (2)  ==> <0x29a>
Old match:
[FACT] <Fact-1> (1)  ==> <aaa>
 (2)  ==> <0xbf85e4bc>
[FACT] <Fact-6> (1)  ==> <aaa>
 (2)  ==> <0x29a>
*** Asserting: (call_to_g aaa 0x29a) ***
h(aaa,999)
*** Asserting: (call_to_h aaa 0x3e7) ***
