Member predicate ClassObject::ClassObject::failedInference

Has type inference failed to compute the full class hierarchy for this class for the reason given.

predicate failedInference(string reason)