added array predicate checking.