Deadlock Analyzer

P→R
R→P