starting from <fibonacci>
rdi := nondet as n
reach <fibonacci> return such that rax = 5 then print dec n
cut at <fibonacci> return