rewrite if x then y = [true|false] rewrite=> y = (not) xHowever only if the var, that is set inside the if, is not referenced in the if's condition (commit: 6a653fe)
rewrite demorgan bool terms (commit: c9b2156)
add break (commit: e3945bc)