Please add some tests for the cases where "if" is used as an expression, like 
```val t = if (a > 0) a else -a```
Combinations of valued ifs with returns and other "jumps" is of particular interest, e.g. ```return if ...``` or ```val t = if (a > 0) a else return 0```, etc.