Rule elements, such as patterns, in the rule model must expose which declarations they export and which they depend on (import), so that this information can be used for Rete graph construction, to minimize the number of recomputed nodes during rule evaluation.