[sanitizer] implement node removal in Deadlock graph