Enable opening of struct field predicates for char and unsigned char typed struct fields
Enable opening of struct field predicates for char and unsigned char typed struct fields

willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast,willempx/verifast