Method duplicate

src/analysis/numerical/interval_domain.rs:205–209

(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>)

    }

    pub fn duplicate(&mut self, old_path: &Rc<Path>, new_path: &Rc<Path>) {
        if self.contains(old_path) {
            self.assign_var(new_path.clone(), old_path.clone());
        }
    }

    pub fn get_paths_iter(&self) -> Vec<Rc<Path>> {
        self.intervals.keys().cloned().collect()