Member predicate TypeParameter::isContravariant

Holds if this type parameter is contravariant/is out.

predicate isContravariant()