Disable duplicated nonce for debugging
Memset dummybuf
Fix bug in abstract machine
Change compare for computation
Compare bugfix
Fix: do not start a thread if a matching computation is already running
Some refactoring
Output fix