make sure check_kkt output is unambiguous on the whole