MiNA as Mina - A Work In Progress for Deadlock.