Update prereplace.cpp
Update statSMT_sq.cpp
Merge pull request #9 from rachelwang/master

fix replace prob