Program to compute y := abs(x):

{true}
if x > 0 then
    {x > 0}
    y := x
    {y = abs(x)}
else
    {x <= 0}
    y := -x
    {y = abs(x)}
end if
{y = abs(x)}