Natural_deduction : ITM_main.expand

let expand_file (path : string) : t_itm list =
        let items : t_itm list = items_of_file path in
        expand_items items