Factorize a rule for variable expression.
Add the support of the if-then-else and else-if operation.