either print fully concrete counterexample or admit we fail to find one
Merge pull request #21 from philnguyen/improve-counterexample

either print fully concrete counterexample or admit we fail to find one