Member predicate ClassValue :: failedInference
predicate
failedInference
(
string
reason
)