Predicate UselessUpcast::hasStaticCallable

Holds t has static callable c as a member, with name name.

predicate hasStaticCallable(ValueOrRefType t, StaticCallable c, string name)