Predicate CastConsistency::unknownSemanticConversionString
Holds if the cast has a result for Cast.getSemanticConversionString() that indicates that the
kind of its semantic conversion is not known.
Import path
import cpppredicate unknownSemanticConversionString(Cast cast, Type fromType)