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