fix bug with lack of recursion in simplifyBitops