tolerate phis that refer to values from unreachable blocks