Added back constructor CounterExample for Fail