Augmented expression
x1 op= x2 -> x1 = (T)(x1 op x2) , where T is the type for x1
x1 op= x2
x1 = (T)(x1 op x2)
T
x1