factor/unfinished/compiler/tree/propagation/constraints
..
constraints.factor