Fix bug within DNF normalization (#81)
Fix bug within DNF normalization (#81)

* Problem (a OR b) AND (z AND (c OR d)) has to be first flatten to
   AND((a OR b), z, (c OR d)), before we start normalizing subexpressions
karelz/GitHubIssues