product_2_ingersoll_deadlock