Predicate ImpossibleCast::castFlow

predicate castFlow(ArrayCast ce, Variable v)