let check_forms s fl =
  List.fold_left (fun b f -> b || check_form s f)
    false fl