TESTS NOT PASSING: Call idleIfNecessary on all backwards branches, to prevent VM deadlock