This refactor the common code executed by the checker so we functionally check everything the same way.