FIX: Fixed statespace generator
FIX: Characteristic vectors fixed
FIX: Fixed problem with tracing a transition that calls ctx.quit()
FIX: Two labels changed
FIX: Fixed loading empty control sequences
ENH: Cycle detection analysis