added theme to generated ast