compilation of `if` to binary where possible