Extract Statabase into dedicated class
Extract OrchestraState into dedicated class
Differentiate lemmas that trigger events in graph and detail view
Merge pull request #15 from noam-io/topic-differentiation

Topic differentiation