Node constraint propagation implemented