typecheck

AnalysisMatchers