Micropipeline 3-Stage Ring
}
Deadlocked at initial (original) marking