I\'m trying to implement if statements such that I can write them in the following form
if (x < 10)-> x := x + 1 [] (x > 10)-> x := x * 2 fi