[flow] added support for unary bit-wise NOT operator
[flow] improve IR resource cleanup
[flow] fixes boolean expression evaluation for boolean AND, OR, XOR, NOT operations
[flow] fixes minor memory leak