Table arraySize

predicate arraySize(@arraylike ae, int sz)