also show unit propagation results in visualisation mockup