Fix forall not working on empty arrays