all kinds of variable name changes as the result of automated checking