Using automata in Binding.hs
Merge branch 'master' into binding
comments
Standalone function runBiStateAnn
Use runRewrite1 to implement runBiStateAnn
comments
Fixed property
Started generalizing properties
Merge branch 'master' into binding
Fixed Binding module, removed Traversal.hs