Add view counterexample option for realizabilities