let get_info_call call_id =
let ff, call = call_id in
let f, sgn =
try
let _, marks = ff.T.ff_marks in
match PdgIndex.FctIndex.find_call marks call with
| None, sgn -> None, sgn
| Some (None), sgn -> None, sgn
| Some (Some f), sgn -> Some f, sgn
with PdgIndex.NotFound -> empty
in (call_id, f, sgn)