Fixed semantics of "if (1 == r0) { ... } else { ... }". I think it now generates the constraints correctly.