Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding

Use text (instead of integer) to represent special variable in SAT2NAESATInfo's JSON encoding #543