Convert Fields, Arrays, ArrayLengths to string in a reasonable way
Enable forcing Panda to assume assertionDisabled=true to be true/false/unknown