Expand description
Monotonic propagation for lattice domains.
Specialized fixed-point loop that skips adjacency graph construction and undo-log overhead. Domains only grow (join/union), so no backtracking is needed — simple iteration until convergence.