Test empty array forall