Bug fixed in SplitAfterInstruction, Fixes #12

Took me a while to find it, but finally it is done.

The debugging is a bit hard, I wonder about a log/debug file, where some
nice info would be written to be easy to see and fix errors, at least
the basicblock IDs and predecessors-successors.