value s
i1 : y = x_3 o1 = x 3 o1 : IndexedVariable
i2 : x_3 = 4 o2 = 4
i3 : x_3 o3 = 4
i4 : y o4 = x 3 o4 : IndexedVariable
i5 : value y o5 = 4