kind: do not execute paths with infeasible suffix

If we execute a path that happens to be infeasible,
executing the same path again  as a suffix of some other path
will be again infeasible. Therefore, we can remember the suffixes
and skip the execution when needed.

This is just a step away from interpolants.