Natural_deduction : FML_main.is_closed

let rec is_closed_term (term : t_term) : bool =
        match term with
        |Atom _ -> false
        |FuncApp (_, term_list) -> List.for_all is_closed_term term_list