don't print duplicate cells in counter-example

[danmatichuk]

we need to explicitly check for equality with respect to the grounding environment, as the grounded variant is what we are displaying