type analysis tests