Assertion list for term "different types".

Results from Ascent++: 2
house HasAdifferent types 0.57
array HasAdifferent types 0.28