Checkpointing. Abstract interpreter works for fib n <= 92. n >= 93 hits an assert.