Function strip_width_is_in_check 

pub fn strip_width_is_in_check(prob: &SPProblem) -> bool