value flow: fixed bailout so it really bails out