Boolean operations is not correct

[jstroem]

Currently boolean operations in the CFGGeneratorVisitor.scala is handled an returns only boolean values but this is not correct on the following: a = None or NotImplemented.

[jstroem]

When this is handled it should be possible to remove the ConstantBooleanNode