cfsm_bisimulation
