Predicate CastConsistency :: missingSemanticConversionString
Holds if the cast has no result for Cast.getSemanticConversionString().
Import path
import cpp
predicate
missingSemanticConversionString
(
Cast
cast
,
Type
fromType
)