Added CTX_NAME on Strings. Changed Context generation to use new functionality and use Find. Added generation of Superstate Invariant on enumeration Translation