let are_BS (clauses: clause list) : bool =
  List.for_all is_BS clauses