added bugfix to deadlock extraction from 8fed8cc6d39bdf9d3e66d8188eddc66e95a8bc74
added bugfix to deadlock extraction from 8fed8cc6d39bdf9d3e66d8188eddc66e95a8bc74

LTLMoP/slugs,LTLMoP/slugs,johnyf/slugs,LTLMoP/slugs,LTLMoP/slugs,johnyf/slugs,johnyf/slugs,LTLMoP/slugs