Added predicate for checking that all values in array conform to specified requirements