Finished @RequiresPrevious and @ExcludesPrevious and their tests. All annotations defined and tested.