Characteristic predicate CastArrayPointerArithmetic::CastToPointerArithFlow::CastToPointerArithFlow

CastToPointerArithFlow()