

{x == 1}

x = x + 1

{x == 2}