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