Map<String, dynamic> toJson() => <String, dynamic>{'operation': operation, 'precedes': precedes, 'succeeds': succeeds};