@RequiresPrevious and @ExcludesPrevious, considering the use of labels only (for now?)