Method rename

src/analysis/numerical/interval_domain.rs:198–203

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

    }

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

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