Do not merge dead values stored in variables with other values (mark dead values as UNINITIALIZED)