Tests and doc for ModelAnalyzer