In all cases when we have a passUp() or passDown() call from within a synchronized statement, we need to verify whether
(a) we can call passDown()/passUp() outside the synchronized statement or
(b) whether there is a potential deadlock if we don't