[analyzer] Refactoring + explanatory comment.