public void SetUp() { stackOverflowChecker = new StackOverflowChecker(null, null, new TypeResolver()); }