[e-acsl] universal quantifiers over integers. Not yet finished: work only in some cases
[e-acsl] logic variables (required by univ quantif)