I think this question has been already largely been answered by automatic style (etc) tools. Such tools generally should not make semantic changes to programs,

I think this question has been already largely been answered by automatic style (etc) tools. Such tools generally should not make semantic changes to programs, so they (implicitly) define what are meaningful semantic changes and what are meaningless changes.