Bisimilarity problem fixed. Now, to add tau transitions.
Added -1 action for time transitions.
Added support for time transitions with action count -1. Right now,
this breaks the dot representation, makes it un-render-able. Fixing
this.