Predicate IncorrectCompareToSignature::implementsIComparable

predicate implementsIComparable(ValueOrRefType t, Type paramType)