Member predicate AllocationSizeOverflow::Configuration::isSinkWithAllocationSize

Holds if nd is at a position where overflow might occur, and its result is used to compute allocation size allocsz.