Method forget

src/analysis/numerical/interval_domain.rs:351–353

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

    }

    pub fn forget(&mut self, var: &Rc<Path>) {
        self.intervals.remove(var);
    }

    pub fn add_constraints(&mut self, conds: LinearConstraintSystem) {
        if self.is_bottom() {