Improved static analyzer with Xcode 5.1