(WIP) Dynamic deadlock check