Answer Happy

Suppose there are three program variables a, b and z. Calculate the assignments to a so that the following invariant is maintained: z+axb=C In other words, calculate X such that {z + axb=C} z, a :=z+b, X {z + axb=C}