Completely separated NEVER from AT_LEAST_ONCE verification