WIP: preparation for the new deadlock checker, structures init/destroy