Circuit Variable bug fix and improvement

[manu-aesim]

• [x] If the name of a circuit variable is a keyword used in the parser, a detailed error is raised.
• [x] The circuit variable can be calculated using a formula that uses other previously defined variables.