Visualise constraint propagation