json: add DecrementNode to_json method