Changed the method for getInitialLogTraces to return a Set<List<Partition>>. Also added correction to main in setting inputGraph to null.
Changed getInitialLogTracesFromCurrentPartition to use EventNode.getSuccessors("t") instead of EventNode.getDirectSuccessors
Made simple test code for partition graph.  Cleaned up
synthetic trace exporting code
Removed extraneous debugging code
Removed more extraneous test code.
Spelling errors fixed.  Partition Graph test code cleaned up.
Factored out counting to invariant type computation into separate methods. Optimized path and concurrency invariant merging.
Added simpler algorithm that does not mine \nparallel invariant. Removed path and concurrency invariant merging in favor of more optimized online filtering approach -- counting-based inv mining only.
Minor updates. More robust hash code functions in DistEventType and EventType. Updated arg in args.txt. More comments, and slight fix in ChainWalkingTOInvMiner.
Fixed online invariant subsumption bug in counting-based alg, added PO mining tests to check for inv subsumption.
Improvements to TC-based algorithm to perform online invariant subsumption computation, and some refactoring.
Added smarter filtering of tautological invariants, removed the obsolete code/tests.
Expose the mining of NeverConcurrentWith as a command line option.
Fixed counting-based mining without NeverConcurrentWith invariant, added it to the parametrized PO mining tests, and a few other minor fixes.
Fixed optimization where event instances from diff. traces are not considered for reachability in TC alg.
Further optimization to only consider event instances from same trace for reachability, and an optimization to stop considering traces when no further ordering information can change invariant mining outcome.
Added code to initialize large global counts maps, slight perf improvement and better code clarity.
Removed code replaced by prior commit.
More optimizations, mostly small stuff -- removed a few iterators, etc.
Specialized IGraph<NodeType> to TraceGraph for invariant mining. Simplified transitive closure's internal data structure, and updated tests.