Add PassAfterTakeoutDouble, I'm not sure if this is necessary for later understanding, but it definitely caught a couple nonseniscal DefaultPass cases