is_zeros
if (is_zeros(in)) \
if (is_zeros(P->Z)) {
if (is_zeros(P->Z)) {
if (is_zeros(tmp0)) {
if (is_zeros(tmp1)) {
if (is_zeros(P->Z)) {
} else if (is_zeros(Q->Z)) {
if (is_zeros(k))
if (is_zeros(k))