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