Check to ensure that all field references are prefixed
by either "this." or "super." as appropriate.
Rational: This allows readers to immediately recognize
a field reference as opposed to a local variable. It
also allows the compiler to do more type checking and
avoids the problem of shadowing.