CFA solver (work-in-progress but CFA works for fib/fib_inlined)