let disjl l = List.fold_left disj _false l