Add counterexample viewer