Partial support for unicode values

[chkp-eyalit]

Our canonical representation is stored in a *.json file, using python's json library. Reportedly, in some edge cases there are function names (that is really weird) or strings that include special unicode chars that makes it impossible to load back the *.json content.

Couldn't re-create it, and waiting for more information on this bug.