Given a value number v, this function updates a heap variable lattice cell to indicate that element at address v is available, but kills any available indices that are not DD from v
Given a value number v, this function updates a heap variable lattice cell to indicate that element at address v is available, but kills any available indices that are not DD from v