You raise the question of checking parameter names. This is part of the thorny question of how you check style. In Python we use the pylint program as a pre-processor - if a student submission fails pylint checks it's not even tested. However, no program can check if variable names are "good" or not, so ultimately you still have to have humans check code at some stage in a course.