ENH: New statespace configuration
ENH: Analysis "Final marking" implemented
FIX: Deadlock analysis fixed