- Learned constraints are added as propagation-only rules to the Rete.
- After backtrack, newly added rules propagate starting from BasicNodes.