We converted the program into a graph to detect deadlocks. Details at https://gitlab.com/5bc/plaid-party-planning-iii-2#plaid-party-planning-iii-2

Original writeup (https://gitlab.com/5bc/plaid-party-planning-iii-2#plaid-party-planning-iii-2).