Support for parametrized locks in deadlock detector