Fibonacci:::OBJECT
Fibonacci.initialized == true
Fibonacci.c == Fibonacci.a + Fibonacci.b
===========================================================================
Fibonacci.compute:::ENTER
Fibonacci.initialized == true
Fibonacci.c == Fibonacci.a + Fibonacci.b
===========================================================================
Fibonacci.compute:::EXIT
Fibonacci.initialized == orig(Fibonacci.initialized)
Fibonacci.a == orig(Fibonacci.b)
Fibonacci.b == orig(Fibonacci.c)
Fibonacci.c == Fibonacci.a + Fibonacci.b
orig(Fibonacci.a) == - Fibonacci.a + Fibonacci.b
orig(Fibonacci.a) == - 2 * Fibonacci.a + Fibonacci.c
orig(Fibonacci.a) == 2 * Fibonacci.b - Fibonacci.c
===========================================================================
Fibonacci.initialize:::ENTER
Fibonacci.a == Fibonacci.b == Fibonacci.c
Fibonacci.initialized == false
Fibonacci.a == 87
===========================================================================
Fibonacci.initialize:::EXIT
orig(Fibonacci.a) == orig(Fibonacci.b) == orig(Fibonacci.c)
Fibonacci.initialized == true
Fibonacci.a <= Fibonacci.c
Fibonacci.c == Fibonacci.a + Fibonacci.b