Include type analysis in test suite