Text this: Redundancy and conflict detection method for label-based data flow control policy