Better code: use foldLeft rather than treeFold
Merge pull request #2359 from systay/boolean-normalization

Better code: use foldLeft rather than treeFold