For a given array access with a single constant offset and a set of variable names of potential length fields of the array, determine whether a check of at least one of the potential length fields exist for each literal
For a given array access with a single constant offset and a set of variable names of potential length fields of the array, determine whether a check of at least one of the potential length fields exist for each literal