Characteristic predicate SizeCheck::Allocation::Allocation

Allocation()