added effective negative test to forall-next