let
printverb (s:string) =
if
!verbose
then
(
Ltl_to_acsl_option
.feedback
"%s"
s)