Check that all case classes that extend
Check all enum cases in all enum companions in
stats for legal accesses.
Check that all non-synthetic references of the form
tree that refer to a member of
allowed. Also check that there are no other explicit