In this case, the code used to create a wrong index with value 255. This is now detected and fixed. Also, the code was not able to handle bit fields with duplicates. Now this is also fixed.