Revert "[dataflow] Add dedicated representation of boolean formulas"

This reverts commit 2fd614ef.

Commit caused failures on the following two build bots:
  http://45.33.8.238/win/80815/step_7.txt
  https://lab.llvm.org/buildbot/#/builders/139/builds/44269