f(1,aaa,0xbfdd285c) -> <a>
*** Asserting: (call_to_f2 aaa 0xbfdd285c 0x29a) ***
f(2,bbb,0xbfdd2858) -> <b>
*** Asserting: (call_to_f2 bbb 0xbfdd2858 0x29a) ***
g(aaa,666)
f(3,ccc,0xbfdd2854) -> <c>
*** Asserting: (call_to_f2 ccc 0xbfdd2854 0x29a) ***
g(ccc,999)
g(aaa,666)
*** Asserting: (execution_to_h aaa 0x29a) ***
Matches for Pattern 1
f-1
f-2
f-3
Matches for Pattern 2
 None
Partial matches for CEs 1 - 2
 None
Activations
f-1,f-4
advice(aaa,0xbfdd285c,666) -> <a>
f(4,aaa,0xbfdd285c) -> <a>
*** Asserting: (call_to_f2 aaa 0xbfdd285c 0x29a) ***
*** Asserting: (execution_to_h aaa 0x29a) ***
Matches for Pattern 1
f-1
f-2
f-3
f-5
Matches for Pattern 2
 None
Partial matches for CEs 1 - 2
 None
Activations
f-5,f-6
advice(aaa,0xbfdd285c,666) -> <a>
g(aaa,666)
*** Asserting: (execution_to_h aaa 0x3e7) ***
h(aaa,999)
