Method add

src/analysis/memory/symbolic_value.rs:513–523

(&self, other: Self)

    }

    fn add(&self, other: Self) -> Self {
        if let (Expression::CompileTimeConstant(v1), Expression::CompileTimeConstant(v2)) =
            (&self.expression, &other.expression)
        {
            return Rc::new(v1.add(v2).into());
        };
        SymbolicValue::make_binary(self.clone(), other, |left, right| Expression::Add {
            left,
            right,
        })
    }

    fn sub(&self, other: Self) -> Self {
        if let (Expression::CompileTimeConstant(v1), Expression::CompileTimeConstant(v2)) =