Made the condition of the if an actual boolean, rather than just a atomic
expression.
Added generation of random code inside the then-block of a if statement with a
atomic condition. Random code uses only fresh variables for assignment (needs
further testing). Made else-block contain a dummy statement, as required by
CLSmith.

TODO: * special value and hashing