adding some debug mods to SemaChecker