[Checkers] Arrays and checkers

[Michael Ernst]

Matt-

When checking FreePastry code, I am suffering what look like false
positives due to use of arrays.  I think that you are in the middle of
improving the framework's handling of arrays, so I haven't checked in any
new failing test cases of my own.  Can you let me know the status of your
work, and whether those test cases would be useful to you?

                     Thanks,

                    -Mike