Note
Array Allocation driven by predicates