Circular dependencies. Annotations. Rule forcing