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

Remove more obsolete code
Fix a bug in circularity detection of poset.
Adding a junit to test for circularity in subsorts.
Fixing issue #990.
Allow for fresh variables in the configuration.
Merge pull request #1040 from kframework/fixCircularity

Fix a bug in circularity detection of poset.
Merge pull request #1041 from kframework/fix#990

Fixing issue #990.