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