uncompiling new bv to bool lifting