Adding sequentialization-havoced variables to modifies list.