Function search_candidates 

pub fn search_candidates<V: ValueAlgebra>(
    atoms: &V,
    moduli: &V,
) -> Result<V, String>

The naturals a search over every natural must examine, in increasing order; empty when the predicate’s coefficients or periods are not ones this reading decides. See the module documentation.