bug in saving execution path: note that in rollbacking phase
instructions are considered only from the exploring CFI (better
performance), so the previous instructions, even are CFIs, but never
considered