Added test for type inconsistencies.