fix bug of generating memory edges (always gen true cst for all edges)
Merge branch 'master' of github.com:xwangsd/Scuba