let
set_validate b =
validate_explanations := b;
set_validate_counter_example b