Use node list for abstract timestamps
Use k last *call sites* as timestamp (instead of last evaluated nodes)
Directly abstract values to avoid infinite width in the value lattice
Activate fibonacci example (it now works)