update pointer checks in ck_assert