Vocabulary
compiler.tree.propagation.constraints

Variable description
A sequence of assocs. They maps constraints to constraints ('A implies B').

Definition