[[[[ Begin initialization [[[[
%%%% Modified state variables:
     a --> 1
     b --> 0
     c --> 1
]]]] End initialization ]]]]
[[[[ Begin step 1 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 0
     b --> 1
     c --> 1
]]]] End step 1 ]]]]
[[[[ Begin step 2 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 1
     b --> 1
     c --> 2
]]]] End step 2 ]]]]
[[[[ Begin step 3 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 1
     b --> 2
     c --> 3
]]]] End step 3 ]]]]
[[[[ Begin step 4 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 2
     b --> 3
     c --> 5
]]]] End step 4 ]]]]
[[[[ Begin step 5 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 3
     b --> 5
     c --> 8
]]]] End step 5 ]]]]
[[[[ Begin step 6 [[[[
    transition: internal compute in automaton Fibonacci
%%%% Modified state variables:
     a --> 5
     b --> 8
     c --> 13
]]]] End step 6 ]]]]