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