defer creation of fullTypeCheckChecker