the simple exhaustive compilation also indicates if counterexample is potentially spurious;
(* Title: HOL/Library/Cset_Monad.thy
Author: Andreas Lochbihler, Karlsruhe Institute of Technology
*)
header {* Monad notation for computable sets (cset) *}
theory Cset_Monad
imports Cset Monad_Syntax
begin
setup {*
Adhoc_Overloading.add_variant @{const_name bind} @{const_name Cset.bind}
*}
end