[mccosmos]

That would get translated into

  (s="a" and x=2) or true

There is an implicit else.

[ajuc]

Isn't it a little useless?

I would think if would work better if it was transformed into implication.

    if (p)
        q

would be

    (p => q)

and

    if p
       q
    else
       r

would be

   (p=>q) and (~p => r)

Anyway, not my language.