Improve decorator.json test pseudocode