in air/src/air/assertions/mod.rs [314:324]
fn cmp(&self, other: &Self) -> Ordering {
if self.stride == other.stride {
if self.first_step == other.first_step {
self.register.partial_cmp(&other.register).unwrap()
} else {
self.first_step.partial_cmp(&other.first_step).unwrap()
}
} else {
self.stride.partial_cmp(&other.stride).unwrap()
}
}