Mark field as final.
Should only need one checker runner for all checkers. Possibly could even be a field.
Add immutability test for allowed reason.