Member predicate ModelInput::TypeModel::isTypeUsed

Holds if any of the other predicates in this class might have a result for the given type.

The implementation of this predicate should not depend on DataFlow::Node.