exists_instnat_iszero