Predicate StrncpyFlippedArgs::arrayExprFixedSize

Gets the size of the expression, if it is initialized with a fixed size array.

int arrayExprFixedSize(Expr e)