Currently in the CFA, CheckArray doesn't call the right filterArrayMode, which can cause the CFA to ignore when it sees a contradiction.
Created attachment 206277 [details] Patch
Committed r152477: <http://trac.webkit.org/changeset/152477>