Characteristic predicate ConsistencyChecks::ExprMissingType::ExprMissingType

ExprMissingType()