Method offset

src/analysis/memory/symbolic_value.rs:502–511

other means offset while self means base

(&self, other: Rc<SymbolicValue>)

    // other means offset while self means base
    fn offset(&self, other: Rc<SymbolicValue>) -> Rc<SymbolicValue> {
        if let Expression::Offset { left, right } = &self.expression {
            left.offset(right.add(other))
        } else {
            SymbolicValue::make_binary(self.clone(), other, |left, right| Expression::Offset {
                left,
                right,
            })
        }
    }

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