Add counterexample viewer in Eclipse