This should hopefully fix strings.length showing up in random places. I tested it with iris and RefinedC. Both compile without changes and length is no more printed as strings.length in RefinedC. See the comment for the reasoning why I think this works.