Example

Making hypothesis var2 = 5 and var3 = 2:var1:=var2-var3*5;Result = 15var2 := var2-(var3*5);Result = -5var1 := NOT var2Result = 0