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