A tool to increase the probability of deadlock occurrence