The analysis engine is now distinguishing between definitely uninitialized uses and possibly uninitialized uses. I'd like to make the messages differentiate as well. The trivial patch to do this is attached, and if this direction looks good, I'll commit after updating all the tests. Didn't think the latter part of the patch would really be useful for review. ;]