Check that all case classes that extend
Check that all references coming from enum cases in an enum companion object are legal.
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