Fix #13: conditional values `if .. then .. else ..`

This commit adds values of the form if .. then .. else ...

In the following example, y gets the value 0 in the branch b = false, where x is not defined.

* b in [false, true];
* if b:
  - x = 1;
* y = if defined(x) then x else 0;"