constant_is_nonzero
set_reached(constant_is_nonzero(tn));
cstmt->c_maybe_endless = constant_is_nonzero(tn);
bool l = constant_is_nonzero(tn->u.ops.left);
bool r = is_binary(tn) && constant_is_nonzero(tn->u.ops.right);