let get_all_input_marks fm =
    let fm = get_marks fm in
    let in_marks = Marks.get_all_input_marks (PdgIndex.FctIndex.sgn fm) in
    let out_marks = [] in
    (in_marks, out_marks)