Function is_range_not_satisfiable 

fn is_range_not_satisfiable(e: &Error) -> bool