assert_negeq_gfunc_with
check_assert(assert_negeq_gfunc_with, -1, _);
check_assert(assert_negeq_gfunc_with, 1, _bad_);