Updated handling of corner cases in the visitors that construct the IR
Handled FIXME: Improved the way bool assignments are constructed