Predicate NonSerializableInnerClass::castTo

predicate castTo(ClassInstanceExpr cie, RefType to)