Function join_interval

src/analysis/numerical/interval_domain.rs:491–502

(lhs: &Interval, rhs: &Interval)

}

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

fn meet_interval(lhs: &Interval, rhs: &Interval) -> Interval {
    if lhs.is_bottom() || rhs.is_bottom() {