Member predicate TypeParameter::isIn

Holds if this type parameter is contravariant.

predicate isIn()