Method var2itv

src/analysis/numerical/interval_domain.rs:428–437

(&self, var: &Rc<Path>)

    }

    fn var2itv(&self, var: &Rc<Path>) -> Interval {
        if self.is_bottom() {
            Interval::bottom()
        } else {
            self.intervals
                .get(var)
                .cloned()
                .unwrap_or_else(Interval::top)
        }
    }

    fn set_interval(&mut self, var: &Rc<Path>, itv: Interval) {
        if self.is_bottom() {