Handle forbidden variable names #7
Description
Model checker restrict the use of some variable names like X or G because they are keywords. Snl2fl should check those names during translation and modify them if necessary. For example, X could be translated as _X.