Changed TypeChecker to StaticTypeChecker