Function meet_interval

src/analysis/numerical/interval_domain.rs:504–513

(lhs: &Interval, rhs: &Interval)

}

fn meet_interval(lhs: &Interval, rhs: &Interval) -> Interval {
    if lhs.is_bottom() || rhs.is_bottom() {
        Interval::bottom()
    } else {
        Interval::new(
            lhs.low.clone().max(rhs.low.clone()),
            lhs.high.clone().min(rhs.high.clone()),
        )
    }
}

fn widen_interval(old: &Interval, new: &Interval) -> Interval {
    if old.is_bottom() {