basic slicing for try-catch-finally. Unclear whether this is complete or not, although it allows compilation to continue to the code emit phase.