Method leq

src/analysis/memory/nullness_domain.rs:102–107

(&self, other: &Self)

    }

    pub fn leq(&self, other: &Self) -> bool {
        other
            .value_map
            .iter()
            .all(|(path, value)| self.get(path) == Some(*value))
    }
}