Merged Checker2 into Checker, moved unrelevant Checker code into checker.old