Efficient SMT Solver for Bit-Vectors and Arrays -- The Yogi Project: Software Property