issue warning if user choses Z3 violation but <S> == 0