Add CHECK_FALSE