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