Method remove

src/analysis/abstract_domain.rs:120–123

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

    }

    pub fn remove(&mut self, path: &Rc<Path>) {
        self.numerical_domain.forget(path);
        self.nullness_domain.forget(path);
    }

    pub fn forget_paths_rooted_by(&mut self, root: &Rc<Path>) {
        let to_remove: Vec<Rc<Path>> = self