debug output
Fix slicing. Breaks classifyProve.
Fix transition blocks.

Don't introduce transition block by-passes in CFGBuilder, but remove them in NaturalLoop::build().
Use unsliced loop for all non-structural analyses (sliced loops lose successor path ordering).
deal with self-loops
Merge branch 'feature/fix-slicing' into loop