It is more extensible and coincise.

Kill the state in such a case.

Just use a virtual method and override it in child classes.

In this case, we want to terminate the path, not the whole exploration.
In this case, we had to do that by catching exceptions.
It is worth considering returning the exceptions... (since we return
polymorphic types anyway...)

In LLVM, we still cannot parse all the initializers, but at least
something for now.

For that we need patched llvmlite, but if the code does not contain
PHI nodes, it will work the same.

Parse and dump the program. For debugging.