better diagnostic on `CPPA_CHECK_NOT_EQUAL`