Fixed a type error, removed unmaintained tests from prior version of checker