Minor optimization: do not create BDD node if hi/lo targets are the same.
Minor optimization: do not create BDD node if hi/lo targets are the same.

cfallin/boolean_expression,cfallin/boolean_expression