What IF ,Then What?

you are right but you actually dont need the then i.e.

this
if A = 1 then b=0 else b=12 : c = 10 : A = 0
is the exact same as this
if A = 1 b=0 else b=12 : c = 10 : A = 0

but otherwise you have it right