4/11/2015 15 Example: Arith Relation (2,{x->7})  2 (3,{x->7})  3 7 > 5 = true (2+3, {x->7})  5 (x,{x->7})  7 (5,{x->7})  5 (y:= 2 + 3, {x-> 7} (x > 5, {x -> 7})  true  {x- >7, y->5} (if x > 5 then y:= 2 + 3 else y:=3 + 4 fi, {x -> 7})  .
{}