Predicate UselessUpcast::hasInstanceCallable

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

predicate hasInstanceCallable(ValueOrRefType t, InstanceCallable c, string name)