Function allowed_residues 

pub fn allowed_residues(
    equations: &[ModpEquation],
    num_vars: usize,
    m: u64,
) -> Option<AllowedOutcome>

See AllowedOutcome. None only on Smith overflow.