added more forall-next tests