Identifier extension for the statement

I made it an extension to prevent breaking compatibility.  If we want to enforce its presence, we may force identifier generation on statement read and create.