Visualize asserting clause minimization