TypeExtraction test works