Method refine

src/analysis/adg.rs:503–512

(&mut self)

    }

    fn refine(&mut self) -> Result<()> {
        if self.last().is_none() {
            return Ok(());
        }
        if self.last().unwrap().is_split() {
            self.pop();
            return Ok(());
        }
        Ok(())
    }

    fn has_split(&self) -> bool {
        for data in self {