fix some problems that occurred when both decomposition and bitvector encoding were disabled