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 -> Nonefalse
  | Some (T.CallSrc _) -> Nonetrue
  | Some (T.CallSlice g) -> Some g, false