Implemented basic transitive reduction. Further improvments and testing required. Minor modifications of .gitignore.