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)