Natural_deduction : ITM_main.expand

let expand_items (items : t_itm list) : t_itm list =
        expand_items_rec (List.rev items) []