adding Eclipse viewing of counterexamples