-
Andrei Paskevich authored
this reduces the unnecessary branching in WPs, especially for C-inspired expressions like (if <cond> then 1 else 0).
4d4a23fd
this reduces the unnecessary branching in WPs, especially for C-inspired expressions like (if <cond> then 1 else 0).