That seems better, I'll try that. The soundness problem can be prohibited by much finer-grained static analyses though. I feel any static analyses have their own limitations and users eventually have to learn about them (much like that they have to learn about the characteristics of type system).