Add simplifyBoolBranch rule.