Use events instead of task counter in Bisimulation
Introduce the class Block to replace Collection<State>
Simplyfy redundancy check for tau transitions