First version of (stupid) matching and changed unordered_set to set (maybe the random access was the problem? - but actually it shouldn't)... Also sometimes it doesn't find a match, that actually shoudn't happen.
Also added a static 3x4 deadlock table, you can compute bigger deadlock tables by uncommenting the code at the main function