isCnf test