value flow: loosen up bailouts in valueFlowSubFunction