another thing is that if you know sure that you might go to a infinite loop because of this conditions:
```
1,(bitSizeofType(t(SetItem(M) S,ST)) %Int cfg:bitsPerByte =/=Int 0)
2,(isBitfieldType(t(SetItem(M) S,ST)) ==K true)
```

Why do you want to use this conditions in the loop? Do you mean that C has a bug here?