confirm that names exported by student code can't override grader

[shriram]

Create a student test file with the same names as used by the grader and check that these don't override the grader's names and hence behavior.