Test STRptex+AF

AArch64 STRptex+AF
TTHM=HA
{
int x=0; int y=1;
0:X0=pte_x;
0:X2=(oa:phy_y,af:0);
pteval_t 0:X4;
}
 P0         ;
LDR X4,[X0] ;
STR X2,[X0] ;
exists (0:X4=(oa:PA(x)) /\ [PTE(x)]=(oa:PA(y)))