I think it's definitely an interesting subject for Verification Engineering. the easier to task AI to do work more precisely, the easier we can check their work.
I like to read descriptive variable names, I just don't like to write them all the time.