removed obsolete z3 translation
removed path indexing
Merge pull request #1030 from yilongli/remove-more-obsolete-code

Remove more obsolete code