Member predicate NewOrNewArrayExpr :: hasSizedDeallocation
Holds if the deallocation function expects a size argument.
predicate
hasSizedDeallocation
(
)