Test SCA-02

Executions for behaviour: "1:X2=0x102 ; x=0x101"

AArch64 SCA-02
"Wseh0b0 Rfib0h0 Freh0h0"
Generator=diyone7 (version 7.52+9(dev))
Prefetch=
Com=Ws Fr
Orig=Wseh0b0 Rfib0h0 Freh0h0
{
0:X1=x;
1:X1=x;
}
 P0           | P1           ;
 MOV W0,#257  | MOV W0,#2    ;
 STRH W0,[X1] | STRB W0,[X1] ;
              | LDRH W2,[X1] ;
Observed
    x=0x101; 1:X2=0x102;