Annotations

1. Called­Methods
2. Called­Methods­Bottom
3. Called­Methods­Predicate
4. Ensures­Called­Methods
5. Ensures­Called­Methods­If
6. Ensures­Called­Methods­Var­Args
7. Requires­Called­Methods