A class for checking all overriding pairs of class with a given check function
class
If not null: The symbol overridden by overriding
The current candidate symbol for overriding