[ Eq(x4, x1 + x2) ]