Calls to functions taking arrays are now augmented with array size information in simple cases.