Assertion list for term "belong to different types".

Results from Ascent++: 1
value (aspect of expression) CapableOfbelong to different types 0.25