[CFL-AA] CFL-AA should not assert on an va_arg instruction