The overlap between static analysis and AI analysis is going to stay interesting. A model is useful when the question is fuzzy; once the property is precise enough to express as a rule, I'd rather have the checker own it.