changes for recurssion of BV to Bool conversion and testing