Added a 3rd version of prodcons to match the version in the deadlock paper.