[AnnotationRule] New abstraction for rules that require annotations.
[QuickRule] Unordered with test cases.