[E-ACSL] prevent runtime errors in annotations (all of them)
[E-ACSL] fixed bug in interpretation of \valid(\at(...))
[E-ACSL] fixed bug in interpretation of locals in blocks involved in memory model