Abstracted out computing precedence list when supers are already finalized.
Define :BEFORE methods that check for finalized on some class readers.