let
removeClause lclauses cl =
List
.filter (
fun
c
->
not (clausesAreSubSetEq cl c)) lclauses