ASPIS doesn't seem to detect this faults in our tests

[RussoJacopo003]

test2.c

test3.c

We are testing ASPIS but in this two tests it doens't seem to generate the code for dataCorruption_Handler() and detect the variable changes.
We compile with "./aspis.sh --llvm-bin /usr/bin --seddi --rasm --suffix 21 -g -o test2_protected ~/EmbeddedSystemsProject/test2.c".

GDB for test 2:
break 4
run
set var temp = 9999
continue

GDB for test 3:
break 24
run
set var f.x = 9999
continue