Use only controlled identifiers in non-renamed finalization guard alert