Add note about Infer guarded AA-indexing expressions