add debug messages for control message exchange
add example graphs to test deadlock detection algorithm implementation
simplify all the regex and delete the ones that are not needed anymore