Correct placement of AT_XFAIL_IF