Added a bit of hack to handle jumps at the end of scripts so that everything within that jump ends up in a do { } while(true). Use pureGrouping feature to get cleaner CFG's.