Added unit tests for annotation-related predicates.