An interesting test in that situation would be "PRINT CVX==0".