Test NOP+AF

AArch64 NOP+AF
TTHM=HA
{
int x=0;
pte_x=(af:0);
}
 P0   ;
NOP   ;
exists ([PTE(x)]=(oa:PA(x)))