Function validate 

pub fn validate(problem: &dyn Problem) -> Result<(), BoundsError>

Validates that a problem is well-formed: at least one variable and every bound strictly ordered (lower < upper), rejecting NaN bounds.