Fixed a few gwt bugs related to invariant activation.
Refactored ModelTab by moving event handling functionality into separate ModelTab methods. This will make this class easier to test.
Factored out LogLinesTable in model tab.
Simplified activating/deactivating invariants service calls.
Fixes build, hopefully.
Moved finding all traces to PartitionGraph. Added methods for finding the input traces and synthetic traces.
Merged changes.
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.