More work on CFA for try-finally in the presence of loops.