Array validation wih non iterative rules