forall-next now fails propertly for positive tests.