let get_called_slice ff call = let call_id = (ff, call) in let f_called = CallInfo.get_call_f_called call_id in match f_called with | None -> None, false | Some (T.CallSrc _) -> None, true | Some (T.CallSlice g) -> Some g, false