Removed useless commentr commit:
Fix applyPattern
Use quick-eq-check in edit-dist
Add 'isSafe(rewrite,src,tgt)' function