let kind_of_formal x =
    try 
      let (n,_calls) = ByPReference.find (Cv x) in
      if Cil.isPointerType x.vtype then 
        Formal_Ref n
      else
        Formal_Value
    with Not_found ->
      try 
        let (n,_calls) = ByAReference.find (Cv x) in
        Formal_Array n
      with Not_found ->
        Formal_Value